Results 41 to 50 of about 68 (55)
Some of the next articles are maybe not open access.
A prolog technology theorem prover: Implementation by an extended prolog compiler
Journal of Automated Reasoning, 1988Mark E Stickel
exaly
Experimental evaluation of a generic abstract interpretation algorithm for PROLOG
ACM Transactions on Programming Languages and Systems, 1994Baudouin Le Charlier +1 more
exaly
The implementation of Fprolog—A fuzzy Prolog interpreter
Fuzzy Sets and Systems, 1987T P Martin
exaly
Reasoning about protein topology using the logic programming language PROLOG
Journal of Molecular Graphics, 1985John Fox, M J E Sternberg
exaly
Population pharmacokinetic reanalysis of a Diazepam PBPK model: a comparison of Stan and GNU MCSim
Journal of Pharmacokinetics and Pharmacodynamics, 2019Periklis Tsiros +2 more
exaly
Un nouveau traceur générique pour GNU-Prolog.
Tech. Sci. Informatiques, 2003Pierre Deransart, Ludovic Langevine
openaire +1 more source
Full prolog and scheduling or-parallelism in muse
International Journal of Parallel Programming, 1990Khayri A M Ali
exaly
Integration of prolog and databases in both evaluational and non-evaluational approaches
Knowledge-Based Systems, 1989Kuniaki Uehara
exaly