Results 131 to 140 of about 76,775 (221)
Transaction restarts in Prolog database systems [PDF]
, 1985 Shridhar Acharya, Gael N. Buckley
openalex +1 more source
Some comments on “Pitfalls in Prolog Programming” [PDF]
, 1986 William F. Clocksin
openalex +1 more source
A pearl on SAT and SMT solving in Prolog
Theoretical Computer Science, 2012 J. M. Howe, A. King
semanticscholar +1 more source
Designed an Expert System for Diagnosis of Covid-19 Patients
, 2022 Mishra S, Aggarwal M, Yadav S, Sharma Y.
europepmc +1 more source
Cognitive training for older prisoners: a qualitative analysis of prisoners' and staff members' perceptions. [PDF]
Front Aging Neurosci, 2023 Verhülsdonk S +6 more
europepmc +1 more source
Reasoning about Prolog programs: From modes through types to assertions [PDF]
, 1994 Krzysztof R. Apt, Elena Marchiori
openalex +1 more source
On rewrite programs: Semantics and relationship with prolog [PDF]
, 1992 Maria Paola Bonacina, Jieh Hsiang
openalex +1 more source