|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1503 occurrences of 750 keywords
|
|
|
Results
Found 3802 publication records. Showing 3802 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
123 | Joost N. Kok |
Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 401-413, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Horn Clause Logic, cut operator, committed-choice, Logic programming, Prolog, operational semantics, backtracking, synchronization mechanisms, Concurrent Prolog |
104 | G. Scott Owen |
RT Prolog: a real time Prolog written in Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 684, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Ada, Prolog |
93 | Adil Kabbaj, Martin Janta-Polczynski |
From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Logical, Linguistic, and Computational Issues, 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000, Proceedings, pp. 540-554, 2000, Springer, 3-540-67859-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
93 | Mark E. Stickel |
A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings, pp. 154-163, 1990, Springer, 3-540-52531-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
88 | Alexander Ja. Dikovsky |
Prolog Semantics for Measuring Space Consumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCLP ![In: Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings, pp. 177-192, 1991, Springer, 3-540-55460-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
86 | Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue |
Prolog Cafe : A Prolog to Java Translator System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Declarative Programming for Knowledge Management, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005, Revised Selected Papers, pp. 1-11, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
84 | David W. Reed, Donald W. Loveland, Bruce T. Smith |
The Near-Horn Approach to Disjunctive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings, pp. 345-369, 1991, Springer, 3-540-55498-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
79 | Randy M. Kaplan |
A plea for readable pleas for a readable Prolog programming style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 26(2), pp. 41-50, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
79 | Vincenzo Ambriola, Paolo Ciancarini, Marco Danelutto |
Design and Distributed Implementation of the Parallel Logic Language Shared Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), Seattle, Washington, USA, March 14-16, 1990, pp. 40-49, 1990, ACM, 0-89791-350-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Prolog, C |
77 | Anima Gupta, Paul Tarau |
Logic Programming Techniques for Dynamic VRML Web Content Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings, pp. 93-107, 2001, Springer, 3-540-41768-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Internet Programming with Prolog, Dynamic VRML content, Logic Programming Tools, Prolog based Client-Server Programming, Prolog Networking, Definite Clause Grammars, Web Architectures |
74 | Marcello Balduccini |
Splitting a CR-Prolog Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 17-29, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
74 | Jieh Hsiang, Mandayam K. Srivas |
A PROLOG Environment for Developing and Reasoning about Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE), pp. 276-293, 1985, Springer, 3-540-15199-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
72 | Tiago Soares, Ricardo Rocha 0001, Michel Ferreira |
Generic Cut Actions for External Prolog Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings, pp. 16-30, 2006, Springer, 3-540-30947-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Prolog Systems Implementation, External Modules, Pruning |
72 | Neng-Fa Zhou |
Parameter Passing and Control Stack Management in Prolog Implementation Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(6), pp. 752-779, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
prolog, abstract machine |
72 | Jacques Cohen, Timothy J. Hickey |
Parsing and Compiling Using Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 9(2), pp. 125-163, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Prolog |
70 | Claudio Vaucheret, Sergio Guadarrama, Susana Muñoz-Hernández |
Fuzzy Prolog: A Simple General Implementation Using CLP(R). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings, pp. 450-464, 2002, Springer, 3-540-00010-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Fuzzy Prolog, Constraint Programming Application, Implementation of Fuzzy Prolog, Logic Programming, Modeling Uncertainty |
70 | Vítor Santos Costa |
The Life of a Logic Programming System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 1-6, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
70 | R. D. Purdy |
Knowledge and Tools in Building GRANDJUR 1.1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Second International Conference on Artificial Intelligence and Law, ICAIL '89, Vancouver, BC, Canada, June 13-16, 1989, pp. 201-206, 1989, ACM, 0-89791-322-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
68 | Gerald M. Karam |
Computational Improvements in Prolog Applications by Predicate Variable Pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(5), pp. 490-497, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
structure-oriented operations, Warren, computational improvements, Prolog applications, predicate variable pointers, clause-oriented operations, uninstantiated variables, built-in predicates, C-Prolog, symbol table dictionary, pseudo-Pascal compiler, computational complexity, data structures, data structures, PROLOG, logical implications, performance benefits |
67 | Ricardo Lopes, Luís Fernando Castro, Vítor Santos Costa |
From simulation to practice: cache performance study of a Prolog system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSP/ISMM ![In: Proceedings of The Workshop on Memory Systems Performance (MSP 2002), June 16, 2002 and The International Symposium on Memory Management (ISMM 2002), June 20-21, 2002, Berlin, Germany, pp. 56-64, 2002, ACM, 1-58113-539-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
67 | Szabolcs Ferenczi |
Concepts for a Modular and Distributed Prolog Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings, pp. 159-170, 1991, Springer, 3-540-54444-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
65 | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi |
Modeling Prolog Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 19-22, 1992, pp. 95-104, 1992, ACM Press, 0-89791-453-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Prolog |
65 | Jacques Briat, M. Favre, Cláudio F. R. Geyer, Jacques Chassin de Kergommeaux |
Schheduling of OR-parallel Prolog on a Scalable, Reconfigurable, Distributed-Memory Multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE '91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings, pp. 385-402, 1991, Springer, 3-540-54152-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
OPERA, OR-parallel Prolog, reconfigurable multiprocessor, distributed-memory, WAM, Supernode, scalable multiprocessor |
65 | David Roach, Hal Berghel, John R. Talburt |
An interactive source commenter for Prolog programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 8th Annual International Conference on Systems Documentation, SIGDOC 1990, Little Rock, Arkansas, USA, October 31 - November 2, 1990, pp. 141-145, 1990, ACM, 0-89791-414-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
65 | Thom W. Frühwirth |
Polymorphic Type Checking with Subtypes in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings, pp. 121-130, 1990, Springer, 3-540-52531-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Prolog Meta-Interpreter, Type Languages, Polymorphism, Partial Evaluation, Subtypes, Type Checking, Executable Specification |
65 | M. Morioka |
S. Yamaguchi, T. Bandoh: Evaluation of Memory System for Integrated Prolog Processor IPP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 16th Annual International Symposium on Computer Architecture. Jerusalem, Israel, June 1989, pp. 203-210, 1989, ACM, 0-89791-319-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
65 | Giuseppe Cattaneo, Vincenzo Loia |
A common-LISP implementation of an extended Prolog system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 23(4), pp. 87-102, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, LISP |
65 | Mark E. Stickel |
A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings, pp. 573-587, 1986, Springer, 3-540-16780-3. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
63 | Daniel Cabeza Gras, Manuel V. Hermenegildo |
A New Module System for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 131-148, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
modular program processing, global analysis and transformation, ciao-prolog, prolog, modules, separate compilation |
63 | Yasusi Kanada, Keiji Kojima, Masahiro Sugaya |
Vectorization techniques for prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 2nd international conference on Supercomputing, ICS 1988, Saint Malo, France, July 4-8, 1988, pp. 539-549, 1988, ACM, 0-89791-272-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog |
63 | G. Scott Owen, Taylor Binkley |
KC expert - the development of an ICAI system for chemistry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 722, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
61 | Stefano Ceri, Georg Gottlob, Gio Wiederhold |
Efficient Database Access from Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(2), pp. 153-164, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Prolog interpreter, memory-resident database, Prolog facts, subsumption rests, logic programming, relational database, relational databases, Prolog, pattern matching, program interpreters, secondary storage |
60 | Carl Friedrich Bolz, Michael Leuschel, David Schneider 0001 |
Towards a jitting VM for prolog execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 99-108, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
logic programming, interpreters, partial evaluation, jit |
60 | Neng-Fa Zhou |
A Register-Free Abstract Prolog Machine with Jumbo Instructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, pp. 455-457, 2007, Springer, 978-3-540-74608-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
60 | Benjamin Z. Li |
A pi-Calculus Specification of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings, pp. 379-393, 1994, Springer, 3-540-57880-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
60 | Donna M. Kaminski |
A Knowledge Base Approach to Learning to Program in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAL ![In: Computer Assisted Learning, 4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992, Proceedings, pp. 332-342, 1992, Springer, 3-540-55578-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
59 | Yannis E. Ioannidis, Manolis M. Tsangaris |
The Design, Implementation, and Performance Evaluation of BERMUDA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(1), pp. 38-56, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
BERMUDA, Britton-Lee Intelligent Database Machine, IDM-500, multiple concurrent Prolog processes, Prolog program semantics, architectural issues, single-user benchmarks, stand-alone Prolog, stand-alone IDM, multiuser benchmarks, performance evaluation, performance evaluation, user interfaces, logic programming, logic programming, interface, PROLOG, Prolog, Unix, Unix, deductive databases, deductive database, costs, system integration, software cost estimation, loosely coupled system |
59 | Michael R. Genesereth |
Prolog as a Knowledge Representation Language the Nature and Importance of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prolog: The Next 50 Years ![In: Prolog: The Next 50 Years, pp. 38-47, 2023, Springer, 978-3-031-35253-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
59 | Rabbe Fogelholm |
Exeter Prolog - some thoughts on Prolog design by a LISP user. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 111-116, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
58 | Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar 0001, Rasool Jalili |
Vulnerability Analysis in VGBPS Using Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 404-411, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Protection System, Safety Problem, Prolog, Vulnerability Analysis |
58 | José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo |
Towards Description and Optimization of Abstract Machines in an Extension of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers, pp. 77-93, 2006, Springer, 978-3-540-71409-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Optimization, Compilation, Prolog, Program Transformation, Abstract Machines |
58 | Adil Kabbaj, Claude Frasson, Marc Kaltenbach, Jean-Yves Djamen |
A Conceptual and Contextual Object-Oriented Logic Programming: the PROLOG++ Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Current Practices, Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16-20, 1994, Proceedings, pp. 251-274, 1994, Springer, 3-540-58328-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Prolog extension, CG theory, conceptual programming, contextual programming, high-order logic programming, object oriented programming |
58 | Jian Wang, Jungsoon P. Yoo, Thomas J. Cheatham |
Efficient Reordering of C-PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 21th Conference on Computer Science, CSC '93, Indianapolis, IN, USA, February 16-18, 1993, pp. 151-155, 1993, ACM, 0-89791-558-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
58 | Robert McLaughlin |
A plea for a readable Prolog programming style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 25(11), pp. 75-79, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
58 | Joanne L. Boyd, Gerald M. Karam |
Prolog in "C". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 25(7), pp. 63-71, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
‘C’, Prolog, translation, declarative programming, procedure programming |
58 | Balkrishna Ramkumar, Laxmikant V. Kalé |
A Chare Kernel Implementation of a Parallel Prolog Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), Seattle, Washington, USA, March 14-16, 1990, pp. 99-108, 1990, ACM, 0-89791-350-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
58 | Kim Marriott, Harald Søndergaard |
On prolog and the occur check problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 24(5), pp. 76-82, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
58 | Jonas Barklund |
Efficient interpretation of Prolog programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 132-137, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Prolog |
56 | Veroniek Dumortier, Maurice Bruynooghe |
On the Automatic Generation of Events in Delta Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, pp. 324-339, 1990, Springer, 3-540-53010-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Delta Prolog, distributed Prolog, abstract interpretation |
56 | Susana Muñoz-Hernández, José Manuél Gómez-Pérez |
Collaborative Fuzzy Agents Using Constraint Logic Programming over Finite Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings, pp. 5-6, 2004, Springer, 3-540-23664-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
56 | Andrew Cheese |
Multi-Moded Relations in Parlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 22(6), pp. 49-51, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
PARLOG, PARLOG |
56 | Youji Kohda, Jiro Tanaka |
Deriving a Compilation Method for Parallel Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 80-94, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
54 | Timo Niemi, Kalervo Järvelin |
Prolog-Based Meta-Rules For Relational Database Representation and Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(8), pp. 762-788, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Prolog-based meta-rules, relational database representation, Prolog-based experimental system, well-defined environment, relational databases, knowledge based systems, PROLOG, query optimization, database theory, deductive databases, deductive databases, database design, theoretical foundations, data restructuring |
53 | Jesús Manuel Almendros-Jiménez |
An Encoding of XQuery in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XSym ![In: Database and XML Technologies, 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings, pp. 145-155, 2009, Springer, 978-3-642-03554-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Antonis Bikakis, Constantinos Papatheodorou, Grigoris Antoniou |
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Artificial Intelligence: Theories, Models and Applications, 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings, pp. 345-351, 2008, Springer, 978-3-540-87880-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
53 | Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes |
Demand-Driven Indexing of Prolog Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, pp. 395-409, 2007, Springer, 978-3-540-74608-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Masanobu Umeda, Keiichi Katamine, Isao Nagasawa, Masaaki Hashimoto, Osamu Takata |
Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Declarative Programming for Knowledge Management, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005, Revised Selected Papers, pp. 200-214, 2005, Springer, 3-540-69233-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Yoon-chan Jhi, Ki-Chang Kim, Kemal Ebcioglu, Yong Surk Lee |
A Prolog Tailoring Technique on an Epilog Tailored Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, pp. 421-433, 2001, Springer, 3-540-43075-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Luís Fernando Castro, Vítor Santos Costa |
Understanding Memory Management in Prolog Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 11-26, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Erwan Jahier, Mireille Ducassé, Olivier Ridoux |
Specifying Prolog Trace Models with a Continuation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR (LNCS 2042: Selected Papers) ![In: Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers., pp. 165-182, 2000, Springer, 3-540-42127-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
53 | Xining Li |
Program Sharing: A New Implementation Approach for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings, pp. 259-273, 1996, Springer, 3-540-61756-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
53 | Micha Meier, Joachim Schimpf |
An Architecture for Prolog Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, pp. 319-338, 1992, Springer, 3-540-56454-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
53 | Toshio Kawamura, Hayato Ohwada, Fumio Mizoguchi |
CS-Prolog: A Generalized Unification Based Constraint Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 19-39, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
51 | Atef Suleiman, John Miller |
Implementing Thread Cancellation in Multithreaded Prolog Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 122-136, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
concurrency, Prolog, threads |
51 | Maurizio Cimadamore, Mirko Viroli |
Integrating Java and Prolog through generic methods and type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 198-205, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
java, prolog, generics, wildcards, multiparadigm |
51 | Michael R. Wick, Daniel E. Stevenson |
On using scheme to introduce prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2006, Houston, Texas, USA, March 3-5, 2006, pp. 41-45, 2006, ACM, 1-59593-259-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
prolog, programming languages, computer science education, scheme, teaching strategy |
51 | Hai Wan, Yunxiang Zheng, Yin Chen 0005, Lei Li 0022 |
Building Business Process Description and Reasoning Meta-model Mbp in A-Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPW/ProSim ![In: Software Process Change, International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings, pp. 195-203, 2006, Springer, 3-540-34199-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
A-Prolog, Business process, Requirements analysis, Meta-model |
51 | José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo |
Improved Compilation of Prolog to C Using Moded Types and Determinism Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings, pp. 86-103, 2004, Springer, 3-540-22253-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Prolog, C, optimizing compilation, global analysis |
51 | Juan José Moreno-Navarro, Susana Muñoz-Hernández |
Soundness and Completeness of an "Efficient" Negation for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pp. 279-293, 2004, Springer, 3-540-23242-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Negation in Prolog, LP and nonmonotonic reasoning, Constructive Negation |
51 | Qinan Zhou, Paul Tarau |
Garbage Collection Algorithms for Java-Based Prolog Engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings, pp. 304-319, 2003, Springer, 3-540-00389-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Implementation of Prolog, Garbage collection algorithms in the context of multiple memory managers |
51 | Fevzi Belli, Oliver Jack |
Implementation-Based Analysis and Testing of Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1993 International Symposium on Software Testing and Analysis, ISSTA 1993, Cambridge, MA, USA, June 28-30, 1993, pp. 70-80, 1993, ACM, 0-89791-608-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
51 | David Roach, Hal Berghel |
The Physiology of PROLOG Expert System Inference Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSMALL/PC Symposium ![In: Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems, March 28-30, 1990. Crystal City, VA, USA, pp. 1-5, 1990, ACM, 0-89791-347-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
51 | Moon-Chuen Lee |
An Augmented Prolog Programming Environment for Tutoring Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 2) ![In: Proceedings of the Third International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1990, July 15-18, 1990, The Mills House Hotel, Charleston, SC, USA - Volume 2, pp. 898-906, 1990, ACM, 0-89791-372-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
51 | Hal Berghel, Richard Rankin, Sanjiv K. Bhatia |
MS-DOS Prolog implementations revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 23(1), pp. 127-134, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, MS-DOS |
51 | Jukka Paakki |
A note on the speed of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 23(8), pp. 73-82, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog |
51 | Carolyn R. Watters, Michael A. Shepherd, W. Robertson, K. H. Lee |
An expert system for bibliographic retrieval using Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 120-127, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Prolog |
51 | Gaetano Borriello, Andrew R. Cherenson, Peter B. Danzig, Michael N. Nelson |
RISCs versus CISCs for Prolog: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS II), Palo Alto, California, USA, October 5-8, 1987., pp. 136-145, 1987, ACM Press, 0-8186-0805-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Prolog, RISC, CISC |
51 | Daniel Diaz 0001, Philippe Codognet |
GNU Prolog: Beyond Compiling Prolog to C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings, pp. 81-92, 2000, Springer, 3-540-66992-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
51 | Pascale Louvet, Olivier Ridoux |
Parametric Polymorphism for Typed Prolog and lambda-Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings, pp. 47-61, 1996, Springer, 3-540-61756-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
second-order -Calculus, Logic programming, polymorphism, typing |
51 | Alberto Martelli, Gianfranco Rossi |
Enhancing Prolog to Support Prolog Programming Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings, pp. 317-327, 1988, Springer, 3-540-19027-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
51 | Hideo Matsuda, M. Kohata, T. Masuo, Yukio Kaneda, Sadao Maekawa |
Parallel Prolog Machine PARK: Its Hardware Structure and Prolog System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 35-43, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
49 | Krzysztof R. Apt, Alessandro Pellegrini 0002 |
On the Occur-Check-Free Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 687-726, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
PROLOG programs, moded programs, occur-check problem, Prolog, unification algorithm |
49 | Baudouin Le Charlier, Pascal Van Hentenryck |
Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(1), pp. 35-101, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
fixpoint algorithm, PROLOG, Prolog, abstract interpretation |
49 | Hong Xia, Wolfgang K. Giloi |
A hybrid scheme for detecting AND-parallelism in prolog programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 2nd international conference on Supercomputing, ICS 1988, Saint Malo, France, July 4-8, 1988, pp. 550-559, 1988, ACM, 0-89791-272-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog |
49 | Marcello Balduccini, Michael Gelfond, Monica L. Nogueira |
Answer set based design of knowledge systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 47(1-2), pp. 183-219, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
PACS 68T30, 68T35, 68T20 |
49 | Michael Beeson |
Some Applications of Gentzen's Proof Theory in Automated Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, International Workshop, Tübingen, FRG, December 8-10, 1989, Proceedings, pp. 101-156, 1989, Springer, 3-540-53590-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
49 | Rand Methfessel |
Implementing an Access and Object Oriented Paradigm in a Language That Supports Neither. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 22(4), pp. 83-93, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
C |
47 | Verónica Dahl, Laura Andrea Cecchi |
Introducing Prolog in Language-Informed Ways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prolog: The Next 50 Years ![In: Prolog: The Next 50 Years, pp. 154-167, 2023, Springer, 978-3-031-35253-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Nick Bassiliades, Ilias Sakellariou, Petros Kefalas |
Demonstrating Multiple Prolog Programming Techniques Through a Single Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prolog: The Next 50 Years ![In: Prolog: The Next 50 Years, pp. 71-81, 2023, Springer, 978-3-031-35253-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Jean-Christophe Rohner, Håkan Kjellerstrand |
Prolog for Scientific Explanation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prolog: The Next 50 Years ![In: Prolog: The Next 50 Years, pp. 372-385, 2023, Springer, 978-3-031-35253-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Manuel V. Hermenegildo, José F. Morales 0001, Pedro López-García 0001, Manuel Carro |
Types, Modes and so Much More - The Prolog Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prolog: The Next 50 Years ![In: Prolog: The Next 50 Years, pp. 23-37, 2023, Springer, 978-3-031-35253-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
47 | David Scott Warren |
Introduction to Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prolog: The Next 50 Years ![In: Prolog: The Next 50 Years, pp. 3-19, 2023, Springer, 978-3-031-35253-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Gopal Gupta 0001, Elmer Salazar, Farhad Shakerin, Joaquín Arias, Sarat Chandra Varanasi, Kinjal Basu 0002, Huaduo Wang, Fang Li 0010, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan, Yankai Zeng, Manuel Carro |
Prolog: Past, Present, and Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prolog: The Next 50 Years ![In: Prolog: The Next 50 Years, pp. 48-61, 2023, Springer, 978-3-031-35253-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Michael Leuschel |
ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to Life. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prolog: The Next 50 Years ![In: Prolog: The Next 50 Years, pp. 239-247, 2023, Springer, 978-3-031-35253-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Manuel V. Hermenegildo, José F. Morales 0001, Pedro López-García 0001 |
Some Thoughts on How to Teach Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prolog: The Next 50 Years ![In: Prolog: The Next 50 Years, pp. 107-123, 2023, Springer, 978-3-031-35253-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Vesna Marinkovic |
Prolog in Automated Reasoning in Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prolog: The Next 50 Years ![In: Prolog: The Next 50 Years, pp. 334-345, 2023, Springer, 978-3-031-35253-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Laurent Cervoni, Julien Brasseur, Jean Rohmer |
Simultaneously Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prolog: The Next 50 Years ![In: Prolog: The Next 50 Years, pp. 124-130, 2023, Springer, 978-3-031-35253-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Veneta Tabakova-Komsalova, Stanimir Stoyanov, Asya Stoyanova-Doycheva, Lyubka Doukovska |
Prolog Education in Selected Secondary Schools in Bulgaria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prolog: The Next 50 Years ![In: Prolog: The Next 50 Years, pp. 144-153, 2023, Springer, 978-3-031-35253-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
47 | José F. Morales 0001, Salvador Abreu, Daniela Ferreiro, Manuel V. Hermenegildo |
Teaching Prolog with Active Logic Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prolog: The Next 50 Years ![In: Prolog: The Next 50 Years, pp. 171-183, 2023, Springer, 978-3-031-35253-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
47 | David Scott Warren, Marc Denecker |
A Better Logical Semantics for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prolog: The Next 50 Years ![In: Prolog: The Next 50 Years, pp. 82-92, 2023, Springer, 978-3-031-35253-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 3802 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|