PrologCheck - Property-Based Testing in Prolog
Fuji International Symposium on Functional and Logic Programming, 2014 C. Amaral, Mário Florido, V. S. Costa
semanticscholar +1 more source
PROLOG study: main results and guidance for further action
Кардиоваскулярная терапия и профилактика, 2006 The article contains main results of PROLOG study, that compared effectiveness of controlled arterial hypertension therapy in step-wise antihypertensive treatment scheme: ACE inhibitor, spirapril, with addiction, if necessary, of diuretic ...
S. Yu. Martsevich +4 more
doaj
Performance characteristics of microcomputer Prolog implementations [PDF]
, 1986 Hal Berghel +2 more
openalex +1 more source
Build and Implemented Learning Package for Prolog Programming Language Using Visual Basic.Net 2010
مجلة كلية التربية للبنات, 2019 E-Learning packages are content and instructional methods delivered on a computer (whether on the Internet, or an intranet), and designed to build knowledge and skills related to individual or organizational goals.
اسراء مؤید عبد لله عفاف بديع القدو
doaj
A type driven hardware engine for Prolog clause retrieval over a large knowledge base [PDF]
, 1989 Kam‐Fai Wong, M. Howard Williams
openalex +1 more source
Application of the Lugano Classification for Initial Evaluation, Staging, and Response Assessment of Hodgkin and Non-Hodgkin Lymphoma: The PRoLoG Consensus Initiative (Part 1-Clinical). [PDF]
J Nucl Med, 2023 Ricard F +20 more
europepmc +1 more source
Enseñando Prolog con mapas conceptuales
Revista Cubana de Ciencias Informáticas, 2011 Se describe la experiencia del Centro Universitario de Sancti Spíritus “José Martí” en el empleo de mapas conceptuales para el desarrollo de APA-Prolog como herramienta de enseñanza-aprendizaje en la programación lógica. Incluye análisis del uso de mapas
Lydia Rosa Ríos Rodríguez +2 more
doaj
A high performance Prolog processor with multiple function units [PDF]
, 1989 A.K. Singhal, Yale N. Patt
openalex +1 more source
The Synergies Between Understanding Belief Formation and Artificial Intelligence. [PDF]
Front Psychol, 2022 Lumbreras S.
europepmc +1 more source