Results 211 to 220 of about 12,699 (243)

The versatility of PROLOG

ACM SIGPLAN Notices, 1980
openaire   +1 more source

Fuzzy prolog

International Journal of Man-Machine Studies, 1986
openaire   +1 more source

Multi-paradigm Java–Prolog integration in tuProlog

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

Prolog

1989
openaire   +1 more source

A prolog technology theorem prover: Implementation by an extended prolog compiler

Journal of Automated Reasoning, 1988
Mark E Stickel, Stickel Mark E
exaly  

Experimental evaluation of a generic abstract interpretation algorithm for PROLOG

ACM Transactions on Programming Languages and Systems, 1994
Baudouin Le Charlier, Pascal Van Hentenryck   +1 more
exaly  

The implementation of Fprolog—A fuzzy Prolog interpreter

Fuzzy Sets and Systems, 1987
T P Martin
exaly  

Prolog and deductive databases

Knowledge-Based Systems, 1988
M H Williams
exaly  

Prolog puzzles

ACM SIGPLAN Notices, 1987
openaire   +1 more source

Full prolog and scheduling or-parallelism in muse

International Journal of Parallel Programming, 1990
Khayri A M Ali
exaly