Results 221 to 230 of about 79,804 (260)

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

Prolog

2021
Sabine Parker, Volker List
  +5 more sources

PROLOG

2018
openaire   +2 more sources

Physiological Plant Ecology

, 1977
W. Larcher
semanticscholar   +1 more source

Prolog

2016
Nicole Deitelhoff, Michael Zürn
openaire   +2 more sources

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

SATCHMO: A Theorem Prover Implemented in Prolog

CADE, 1988
R. Manthey, François Bry
semanticscholar   +1 more source

Prolog

2011
openaire   +2 more sources

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

On the Portability of Prolog Applications

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