Results 201 to 210 of about 16,576 (234)

The `Hamming' in Prolog

ACM SIGPLAN Notices, 1988
openaire   +1 more source

Multi-paradigm Java–Prolog integration in tuProlog

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

PROLOG

2018
openaire   +1 more source

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

Journal of Automated Reasoning, 1988
Mark E Stickel
exaly  

Prolog

1989
openaire   +2 more sources

The versatility of PROLOG

ACM SIGPLAN Notices, 1980
openaire   +2 more sources

Experimental evaluation of a generic abstract interpretation algorithm for PROLOG

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

Fuzzy prolog

International Journal of Man-Machine Studies, 1986
openaire   +2 more sources

Reasoning about protein topology using the logic programming language PROLOG

Journal of Molecular Graphics, 1985
William Taylor, John Fox
exaly  

The implementation of Fprolog—A fuzzy Prolog interpreter

Fuzzy Sets and Systems, 1987
T P Martin, J F Baldwin
exaly