Results 101 to 110 of about 24,210 (235)
Design of a high-speed Prolog machine (HPM) [PDF]
, 1985 Ryosei Nakazaki +7 more
openalex +1 more source
INTERMEDIATE TIER FOR GNU PROLOG - PHP INTEGRATION
Zeszyty Naukowe Wyższej Szkoły Finansów i Prawa w Bielsku-Białej, 2005 The paper provides a concept of GNU-Prolog integration with PHP using ANSI C socket server as a middleware [8]. There are a few methods of integration of web programming together with CLP proposed so far.
Rafał Szklarczyk
doaj +4 more sources
Study on Integration and Application of Artificial Intelligence and Wireless Network in Piano Music Teaching. [PDF]
Comput Intell Neurosci, 2022 Li J.
europepmc +1 more source
Design decisions influencing the microarchitecture for a Prolog machine [PDF]
, 1984 T. P. Dobry +2 more
openalex +1 more source
An efficient cryptographic protocol verifier based on prolog rules
Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001., 2001 B. Blanchet
semanticscholar +1 more source
DEDUCŢIA LOGICĂ – MECANISM DE CALCUL AL LIMBAJULUI DE PROGRAMARE LOGICĂ
Studia Universitatis Moldaviae: Stiinte Umanistice, 2008 The present article focuses on analysis and synthesis of elements which are the base of abstract interpreter of programs written in logic. Logic programming and Prolog language significance in studying computer science is appreciating.
USM ADMIN
doaj
Deep Learning Dual Neural Networks in the Construction of Learning Models for Online Courses in Piano Education. [PDF]
Comput Intell Neurosci, 2022 Lei S, Liu H.
europepmc +1 more source
Essaying the prolog language to obtain the computational evaluation of the coherence of reasoning.
Interdisciplinaria, 2004 Se presenta una descripción de la automatización intentada para evaluar el Test de Coherencia de Razonamiento (TCR, López Alonso, 1981, 1988, 1996, 2000) a través de programas lógicos.
Alfredo O. López Alonso +1 more
doaj
Intention Recognition With ProbLog. [PDF]
Front Artif Intell, 2022 Smith GB, Belle V, Petrick RPA.
europepmc +1 more source