First Page | Document Content | |
---|---|---|
![]() Date: 2010-10-22 08:04:36Software engineering Computer programming Theoretical computer science Logic programming Logic in computer science Prolog Definite clause grammar Partial evaluation Unification Horn clause Futures and promises | Add to Reading List |