Results 61 to 69 of about 26,997 (69)

SWI-Prolog and the web

Theory and Practice of Logic Programming, 2008
Jan Wielemaker, Zhisheng Huang, Lourens Van Der Meij   +2 more
exaly  

On the Implementation of GNU Prolog

, 2010
Daniel Díaz, Salvador Abreu, Philippe Codognet   +2 more
openalex  

Parallel execution of prolog programs

ACM Transactions on Programming Languages and Systems, 2001
Gopal Gupta, Enrico Pontelli, Mats Carlsson   +2 more
exaly  

Multi-paradigm Java–Prolog integration in tuProlog

Science of Computer Programming, 2005
Enrico Denti, Andrea Omicini, Alessandro Ricci   +2 more
exaly  

A pearl on SAT and SMT solving in Prolog

Theoretical Computer Science, 2012
Jacob M Howe, Andy King
exaly  

XSB: Extending Prolog with Tabled Logic Programming

Theory and Practice of Logic Programming, 2012
exaly  

Fuzzy Prolog: a new approach using soft constraints propagation

Fuzzy Sets and Systems, 2004
exaly  

RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog

Information Sciences, 2011
exaly  

Prolog to The Future of Integrated Circuits: A Survey of Nanoelectronics

Proceedings of the IEEE, 2010
exaly