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 |
|