Search results for "Prolog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Timothy J. Hickey	CLP* and Constraint Abstraction.	POPL	1989	DBLP DOI BibTeX RDF	Prolog
12	C. C. Martin, K. K. Hutchison	Computer aided concurrent design for printed wiring boards.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF	Prolog
12	Nikitas J. Dimopoulos, Kin F. Li, Eric G. Manning	DAME: a rule based designer of microprocessor based systems.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF	MYCIN, Prolog, LISP
12	Paola Mello	Concurrent objects in a logic programming framework.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	Concurrent Prolog
12	Ronald S. King	A "course" for data modelling.	SIGCSE	1988	DBLP DOI BibTeX RDF	Prolog
12	Thomas Ruppelt, Guido Wirtz	From mathematical specifications to parallel programs on a message-based system.	ICS	1988	DBLP DOI BibTeX RDF	Prolog, UNIX
12	M. N. Bert, M. L. Demarie, Antonio Di Leva, Piercarlo Giolito, P. Ivaldi	Rule Management for Heterogeneous Knowledge-Based Systems.	IEA/AIE (Vol. 2)	1988	DBLP DOI BibTeX RDF	Prolog
12	Martin Nilsson 0001, Hidehiko Tanaka	The Art of Building a Parallel Logic Programming System or From Zero to Full GHC in Ten Pages.	LP	1987	DBLP DOI BibTeX RDF	Committed choice, Fleng, GHC, Parallel, Logic Programming, Prolog, Interpreter
12	Vijay A. Saraswat	The Concurrent Logic Programming Language CP: Definition and Operational Semantics.	POPL	1987	DBLP DOI BibTeX RDF	Prolog
12	Joxan Jaffar, Jean-Louis Lassez	Constraint Logic Programming.	POPL	1987	DBLP DOI BibTeX RDF	Prolog
12	José Carlos Ferreira Maia Neves, George F. Lugger, João M. Carvalho	A formalism for views in a logic data base.	ACM Conference on Computer Science	1986	DBLP DOI BibTeX RDF	data base view, logic data base, PROLOG, group, query-by-example, first order predicate logic
12	Marek J. Sergot, Fariba Sadri, Robert A. Kowalski, F. Kriwaczek, Peter Hammond, H. T. Cory	The British Nationality Act as a Logic Program.	Commun. ACM	1986	DBLP DOI BibTeX RDF	Prolog
12	François Bancilhon, Raghu Ramakrishnan 0001	An Amateur's Introduction to Recursive Query Processing Strategies.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF	Prolog
12	François Bancilhon, David Maier 0001, Yehoshua Sagiv, Jeffrey D. Ullman	Magic Sets and Other Strange Ways to Implement Logic Programs.	PODS	1986	DBLP DOI BibTeX RDF	Prolog
12	Shamim A. Naqvi	Negation as Failure for First-Order Queries.	PODS	1986	DBLP DOI BibTeX RDF	Prolog
12	Ashok K. Chandra, David Harel	Horn Clauses and the Fixpoint Query Hierarchy.	PODS	1982	DBLP DOI BibTeX RDF	logic program, PROLOG, query language, horn clause, relational data base
12	David B. Loveman	Program Improvement by Source-to-Source Transformation.	J. ACM	1977	DBLP DOI BibTeX RDF	Prolog
11	David C. Norris, Markus Triska	An Executable Specification of Oncology Dose-Escalation Protocols with Prolog.	CoRR	2024	DBLP DOI BibTeX RDF
11	François Fages	A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics.	CoRR	2024	DBLP DOI BibTeX RDF
11	Riccardo Buscaroli, Federico Chesani, Giulia Giuliani, Daniela Loreti, Paola Mello	A Prolog application for reasoning on maths puzzles with diagrams.	J. Exp. Theor. Artif. Intell.	2023	DBLP DOI BibTeX RDF
11	Pascual Julián Iranzo, Fernando Sáenz-Pérez	Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
11	Gonzalo Nápoles, Fabian Hoitsma, Andreas Knoben, Agnieszka Jastrzebska, Maikel León Espinosa	Prolog-based agnostic explanation module for structured pattern classification.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
11	Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi	Automatic Differentiation in Prolog.	CoRR	2023	DBLP DOI BibTeX RDF
11	Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon, Marco Roveri, Luigi Palopoli 0002	When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications.	CoRR	2023	DBLP DOI BibTeX RDF
11	Daniela Ferreiro, José F. Morales 0001, Salvador Abreu, Manuel V. Hermenegildo	Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials.	ICLP	2023	DBLP DOI BibTeX RDF
11	Peter Van Roy, Seif Haridi	Ideas for the future of Prolog inspired by Oz.	CoRR	2023	DBLP DOI BibTeX RDF
11	Xiaocheng Yang, Yik-Cheung Tam	Exploring an LM to generate Prolog Predicates from Mathematics Questions.	CoRR	2023	DBLP DOI BibTeX RDF
11	George Aristidis Elder, Conrad Bessant	Inferring Compensatory Kinase Networks in Yeast using Prolog.	ICLP	2023	DBLP DOI BibTeX RDF
11	Theresa Swift, Carl Andersen 0001	The Janus System: Multi-paradigm Programming in Prolog and Python.	ICLP	2023	DBLP DOI BibTeX RDF
11	Alexander Thomson, David Page	Neural Markov Prolog.	CoRR	2023	DBLP DOI BibTeX RDF
11	David Cushing, George W. Stagg, David I. Stewart	A Prolog assisted search for new simple Lie algebras.	Math. Comput.	2023	DBLP DOI BibTeX RDF
11	Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi	Automatic Differentiation in Prolog.	Theory Pract. Log. Program.	2023	DBLP DOI BibTeX RDF
11	David Scott Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert A. Kowalski, Francesca Rossi 0001 (eds.)	Prolog: The Next 50 Years		2023	DBLP DOI BibTeX RDF
11	Sylvain Lapeyrade, Christophe Rey	Non-Player Character Decision-Making With Prolog and Ontologies.	CoG	2023	DBLP DOI BibTeX RDF
11	Falco Nogatz	Defining and Implementing Domain-Specific Languages with Prolog.		2023	RDF
11	David Geleßus, Michael Leuschel	Making ProB compatible with SWI-Prolog.	CoRR	2022	DBLP DOI BibTeX RDF
11	David Cushing, George W. Stagg, David I. Stewart	A Prolog assisted search for new simple Lie algebras.	CoRR	2022	DBLP DOI BibTeX RDF
11	Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales 0001, Jan Wielemaker, Daniel Diaz 0001, Salvador Abreu, Giovanni Ciatto	50 Years of Prolog and Beyond.	CoRR	2022	DBLP BibTeX RDF
11	José E. Zalacain Llanes	Java Prolog Interface.	CoRR	2022	DBLP DOI BibTeX RDF
11	David Geleßus, Michael Leuschel	Making ProB Compatible with SWI-Prolog.	Theory Pract. Log. Program.	2022	DBLP DOI BibTeX RDF
11	Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales 0001, Jan Wielemaker, Daniel Diaz 0001, Salvador Abreu	Fifty Years of Prolog and Beyond.	Theory Pract. Log. Program.	2022	DBLP DOI BibTeX RDF
11	Janneke Morin, Krishnendu Ghosh	ProPy: Prolog-based Fault Localization Tool for Python.	SANER	2022	DBLP DOI BibTeX RDF
11	Guillermo García-Pradales, José F. Morales 0001, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro	An s(CASP) In-Browser Playground based on Ciao Prolog.	ICLP Workshops	2022	DBLP BibTeX RDF
11	Jan Wielemaker, Mikko Tiihonen	Embedding s(CASP) in Prolog.	ICLP Workshops	2022	DBLP BibTeX RDF
11	Sarah Mattos Tabosa de Almeida, Gabriel Montoto Dutra, Gabriel Aprigliano Fernandes, Jose Ricardo da Silva Junior	A Model for Dynamic Game Content Using Semantic Web and Prolog.	SBGAMES	2022	DBLP DOI BibTeX RDF
11	Daniel Beßler, Sascha Jongebloed, Michael Beetz	Prolog as a Querying Language for MongoDB.	CoRR	2021	DBLP BibTeX RDF
11	Anish Mallick, Anil Shukla	Extending Prolog for Quantified Boolean Horn Formulas.	CoRR	2021	DBLP BibTeX RDF
11	Tom Bensky	Teaching and learning mathematics with Prolog.	CoRR	2021	DBLP BibTeX RDF
11	Pascual Julián Iranzo, Fernando Sáenz-Pérez	Planning for an Efficient Implementation of Hypothetical Bousi~Prolog.	CoRR	2021	DBLP BibTeX RDF
11	Gonzalo Nápoles, Fabian Hoitsma, Andreas Knoben, Agnieszka Jastrzebska, Maikel León Espinosa	Prolog-based agnostic explanation module for structured pattern classification.	CoRR	2021	DBLP BibTeX RDF
11	Riccardo Zese, Giuseppe Cota	Optimizing a tableau reasoner and its implementation in Prolog.	J. Web Semant.	2021	DBLP DOI BibTeX RDF
11	Pascual Julián Iranzo, Fernando Sáenz-Pérez	Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog.	Theory Pract. Log. Program.	2021	DBLP DOI BibTeX RDF
11	Paul Tarau, Eduardo Blanco 0002	Interactive Text Graph Mining with a Prolog-Based Dialog Engine.	Theory Pract. Log. Program.	2021	DBLP DOI BibTeX RDF
11	Kairen Chen, Che-Chern Lin	Design and Implementation of a SWI-Prolog-Based Expert System to Diagnose Anxiety Disorder.	JSAI	2021	DBLP DOI BibTeX RDF
11	Jan Wielemaker, Joaquín Arias, Gopal Gupta 0001	s(CASP) for SWI-Prolog.	ICLP Workshops	2021	DBLP BibTeX RDF
11	Giovanni Ciatto, Roberta Calegari, Andrea Omicini	Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt.	JELIA	2021	DBLP DOI BibTeX RDF
11	Kiet Van Nguyen, Tin Van Huynh, Anh Gia-Tuan Nguyen	A Novel Perspective of Text Classification by Prolog-Based Deductive Databases.	IEA/AIE (2)	2021	DBLP DOI BibTeX RDF
11	Esra Çakir	Fuzzy Linguistic Prolog on Route Prioritisation.	SIU	2021	DBLP DOI BibTeX RDF
11	Zsolt Zombori, Josef Urban, Chad E. Brown	Prolog Technology Reinforcement Learning Prover.	CoRR	2020	DBLP BibTeX RDF
11	Michael Leuschel	Prolog for Verification, Analysis and Transformation Tools.	VPT/HCVS@ETAPS	2020	DBLP DOI BibTeX RDF
11	Wlodzimierz Drabent	Implementing backjumping by throw/1 and catch/3 of Prolog.	CoRR	2020	DBLP BibTeX RDF
11	Philipp Körner, David Schneider 0001, Michael Leuschel	On the Performance of Bytecode Interpreters in Prolog.	CoRR	2020	DBLP BibTeX RDF
11	Trung Q. Tran	AandP: Utilizing Prolog for converting between active sentence and passive sentence with three-steps conversion.	CoRR	2020	DBLP BibTeX RDF
11	Johan Bos	Drawing Prolog Search Trees: A Manual for Teachers and Students of Logic Programming.	CoRR	2020	DBLP BibTeX RDF
11	Wlodzimierz Drabent	The Prolog Debugger and Declarative Programming. Examples.	CoRR	2020	DBLP BibTeX RDF
11	Paul Tarau, Eduardo Blanco 0002	Interactive Text Graph Mining with a Prolog-based Dialog Engine.	CoRR	2020	DBLP BibTeX RDF
11	Jana Kittelmann, Christoph Wernhard	KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative LaTeX Markup and a Core Written in SWI-Prolog.	CoRR	2020	DBLP BibTeX RDF
11	Paul Tarau, Eduardo Blanco 0002	Interactive Text Graph Mining with a Prolog-based Dialog Engine.	PADL	2020	DBLP DOI BibTeX RDF
11	Philipp Körner, David Schneider 0001, Michael Leuschel	On the Performance of Bytecode Interpreters in Prolog.	WFLP	2020	DBLP DOI BibTeX RDF
11	Zsolt Zombori, Josef Urban, Chad E. Brown	Prolog Technology Reinforcement Learning Prover - (System Description).	IJCAR (2)	2020	DBLP DOI BibTeX RDF
11	George Thompson, Allison K. Sullivan	ProFL: a fault localization framework for Prolog.	ISSTA	2020	DBLP DOI BibTeX RDF
11	Gonzague Yernaux, Wim Vanhoof, Laurent Schumacher	Moulinog: A Generator of Random Student Assignments Written in Prolog.	PPDP	2020	DBLP DOI BibTeX RDF
11	Mark Thom, Harold Boley, Theodoros Mitsikas	Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying.	RuleML+RR	2020	DBLP DOI BibTeX RDF
11	Joshua Eckroth	AI education matters: biductive computing with prolog.	AI Matters	2019	DBLP DOI BibTeX RDF
11	Miguel Areias 0001, Ricardo Rocha 0001	Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog.	Concurr. Comput. Pract. Exp.	2019	DBLP DOI BibTeX RDF
11	Fábio G. Santos, Leonardo Machado, Rafael de Araújo M. Pinheiro, Aline Paes, Vanessa Braganholo	Querying XML documents using Prolog engines: When is this a good idea?	Inf. Process. Manag.	2019	DBLP DOI BibTeX RDF
11	Olga G. Smolyaninova, Ekaterina Bezyzvestnykh	Implementing Teachers' Training Technologies at a Federal University: E-portfolio, Digital Laboratory, PROLog Module System.	Int. J. Online Biomed. Eng.	2019	DBLP DOI BibTeX RDF
11	Wlodzimierz Drabent	The Prolog debugger and declarative programming.	CoRR	2019	DBLP BibTeX RDF
11	Ludovic Font, Sébastien Cyr, Philippe R. Richard, Michel Gagnon	Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context.	ThEdu@CADE	2019	DBLP DOI BibTeX RDF
11	René Haberland, Sergey Ivanovskiy	Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog.	CoRR	2019	DBLP BibTeX RDF
11	Paul Tarau, Jan Wielemaker, Tom Schrijvers	Lazy Stream Programming in Prolog.	ICLP Technical Communications	2019	DBLP DOI BibTeX RDF
11	René Haberland	Using Prolog for Transforming XML-Documents.	CoRR	2019	DBLP BibTeX RDF
11	René Haberland, Igor L. Bratchikov	Transformation of XML Documents with Prolog.	CoRR	2019	DBLP BibTeX RDF
11	Falco Nogatz, Philipp Körner, Sebastian Krings	Prolog Coding Guidelines: Status and Tool Support.	ICLP Technical Communications	2019	DBLP DOI BibTeX RDF
11	Riccardo Zese, Giuseppe Cota, Evelina Lamma, Elena Bellodi, Fabrizio Riguzzi	Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach.	Theory Pract. Log. Program.	2019	DBLP DOI BibTeX RDF
11	Clemente Rubio-Manzano, Martin Pereira-Fariña	On the Incorporation of Interval-Valued Fuzzy Sets into the Bousi-Prolog System: Declarative Semantics, Implementation and Applications.	Interactions Between Computational Intelligence and Mathematics (2)	2019	DBLP DOI BibTeX RDF
11	Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu	Verifying Static Aspects of UML models using Prolog (S).	SEKE	2019	DBLP DOI BibTeX RDF
11	Jana Kittelmann, Christoph Wernhard	KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative [inline-graphic not available: see fulltext] Markup and a Core Written in SWI-Prolog.	DECLARE	2019	DBLP DOI BibTeX RDF
11	Torbjörn Lager	Intro to web prolog for erlangers.	Erlang Workshop	2019	DBLP DOI BibTeX RDF
11	Pascual Julián Iranzo, Fernando Sáenz-Pérez	WordNet and Prolog: why not?	EUSFLAT Conf.	2019	DBLP DOI BibTeX RDF
11	Falco Nogatz, Julia Kübert, Dietmar Seipel, Salvador Abreu	Alexa, How Can I Reason with Prolog?	SLATE	2019	DBLP DOI BibTeX RDF
11	Falco Nogatz, Dietmar Seipel, Salvador Abreu	Definite Clause Grammars with Parse Trees: Extension for Prolog.	SLATE	2019	DBLP DOI BibTeX RDF
11	Ignacio Casso, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo	An Integrated Approach to Assertion-Based Random Testing in Prolog.	LOPSTR	2019	DBLP DOI BibTeX RDF
11	Wlodzimierz Drabent	The Prolog Debugger and Declarative Programming.	LOPSTR	2019	DBLP DOI BibTeX RDF
11	Martin Mozina, Timotej Lazar, Ivan Bratko	Identifying typical approaches and errors in Prolog programming with argument-based machine learning.	Expert Syst. Appl.	2018	DBLP DOI BibTeX RDF
11	Dietmar Seipel, Falco Nogatz, Salvador Abreu	Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies.	Comput. Lang. Syst. Struct.	2018	DBLP DOI BibTeX RDF
11	Riccardo Zese, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi	Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach.	CoRR	2018	DBLP BibTeX RDF
11	Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner	Measuring Coverage of Prolog Programs Using Mutation Testing.	CoRR	2018	DBLP BibTeX RDF
11	Vu Phan	Syntactic Conditions for Antichain Property in Consistency Restoring Prolog.	CoRR	2018	DBLP BibTeX RDF
11	Markus Triska	Boolean constraints in SWI-Prolog: A comprehensive system description.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF