Results 211 to 220 of about 76,775 (221)

The Finite Domain Constraint Solver of SWI-Prolog

Fuji International Symposium on Functional and Logic Programming, 2012
Markus Triska
semanticscholar   +1 more source

Ammonia borane, past as prolog

, 2014
Huizhen Li, Qiuyu Yang, Xuenian Chen, S. Shore   +3 more
semanticscholar   +1 more source

Regular corecursion in Prolog

ACM Symposium on Applied Computing, 2012
D. Ancona
semanticscholar   +1 more source

Foundations of Logic Programming

Symbolic Computation, 1984
J. Lloyd
semanticscholar   +1 more source

PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology

JSAI-isAI Workshops, 2010
K. Satoh, Kento Asai, Takamune Kogawa, M. Kubota, Megumi Nakamura, Yoshiaki Nishigai, Kei Shirakawa, Chiaki Takano   +7 more
semanticscholar   +1 more source

Typhon - A Mobile Agents Framework for Real World Emulation in Prolog

International Workshop on Multi-disciplinary Trends in Artificial Intelligence, 2011
Jatin Matani, S. B. Nair
semanticscholar   +1 more source

On the Portability of Prolog Applications

International Symposium on Practical Aspects of Declarative Languages, 2011
J. Wielemaker, V. S. Costa
semanticscholar   +1 more source

Towards a jitting VM for prolog execution

ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, 2010
Carl Friedrich Bolz-Tereick, M. Leuschel, David Schneider   +2 more
semanticscholar   +1 more source

A declarative semantics for Bousi~Prolog

ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, 2009
Pascual Julián Iranzo, C. Rubio-Manzano
semanticscholar   +1 more source

A Similarity-Based WAM for Bousi~Prolog

International Work-Conference on Artificial and Natural Neural Networks, 2009
Pascual Julián Iranzo, C. Rubio-Manzano
semanticscholar   +1 more source