InterProlog: towards a declarative embedding of logic programming in Java

José Júlio Alferes, Miguel Calejo, João Leite,

Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	3229
ISBN	3-540-23242-7
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	3229
ISBN	3-540-23242-7

Publication