Author:
Domenici A,Lazzerini B,Prete CA
Subject
Computer Science Applications,Information Systems,Software
Reference26 articles.
1. Programming in Prolog;Clocksin,1981
2. Computing with logic - logic programming with Prolog;Maier,1988
3. The semantics of predicate logic as a programming language;van Emden;J. ACM,1976
4. An efficient unification algorithm;Martelli;ACM Trans. Prog. Lang. Syst.,1982
5. A machine-oriented logic based on the resolution principle;Robinson;J. ACM,1965