The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase A-Prolog (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-1981 (16) 1982 (36) 1983 (62) 1984 (148) 1985 (124) 1986 (178) 1987 (183) 1988 (268) 1989 (187) 1990 (203) 1991 (179) 1992 (173) 1993 (166) 1994 (149) 1995 (101) 1996 (88) 1997 (65) 1998 (71) 1999 (84) 2000 (89) 2001 (144) 2002 (99) 2003 (75) 2004 (95) 2005 (87) 2006 (78) 2007 (94) 2008 (95) 2009 (82) 2010 (45) 2011 (37) 2012 (55) 2013 (34) 2014 (26) 2015 (16) 2016 (22) 2017 (25) 2018-2019 (34) 2020 (15) 2021-2022 (23) 2023 (48) 2024 (3)
Publication types (Num. hits)
article(1030) book(49) incollection(106) inproceedings(2520) mastersthesis(1) phdthesis(94) proceedings(2)
Venues (Conferences, Journals, ...)
ICLP(216) Proc. IEEE(126) CoRR(110) SPLT(96) ACM SIGPLAN Notices(68) PADL(66) PLILP(64) New Gener. Comput.(58) J. Log. Program.(57) LP(53) SLP(51) Theory Pract. Log. Program.(50) INAP(48) LOPSTR(43) ACM Conference on Computer Sci...(32) CADE(31) More (+10 of total 836)
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
123Joost N. Kok Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Horn Clause Logic, cut operator, committed-choice, Logic programming, Prolog, operational semantics, backtracking, synchronization mechanisms, Concurrent Prolog
104G. Scott Owen RT Prolog: a real time Prolog written in Ada. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Ada, Prolog
93Adil Kabbaj, Martin Janta-Polczynski From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language. Search on Bibsonomy ICCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
93Mark E. Stickel A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. Search on Bibsonomy DISCO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
88Alexander Ja. Dikovsky Prolog Semantics for Measuring Space Consumption. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
86Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue Prolog Cafe : A Prolog to Java Translator System. Search on Bibsonomy INAP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
84David W. Reed, Donald W. Loveland, Bruce T. Smith The Near-Horn Approach to Disjunctive Logic Programming. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
79Randy M. Kaplan A plea for readable pleas for a readable Prolog programming style. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Prolog
79Vincenzo Ambriola, Paolo Ciancarini, Marco Danelutto Design and Distributed Implementation of the Parallel Logic Language Shared Prolog. Search on Bibsonomy PPoPP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Prolog, C
77Anima Gupta, Paul Tarau Logic Programming Techniques for Dynamic VRML Web Content Generation. Search on Bibsonomy PADL The full citation details ... 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
74Marcello Balduccini Splitting a CR-Prolog Program. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
74Jieh Hsiang, Mandayam K. Srivas A PROLOG Environment for Developing and Reasoning about Data Types. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
72Tiago Soares, Ricardo Rocha 0001, Michel Ferreira Generic Cut Actions for External Prolog Predicates. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Prolog Systems Implementation, External Modules, Pruning
72Neng-Fa Zhou Parameter Passing and Control Stack Management in Prolog Implementation Revisited. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF prolog, abstract machine
72Jacques Cohen, Timothy J. Hickey Parsing and Compiling Using Prolog. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Prolog
70Claudio Vaucheret, Sergio Guadarrama, Susana Muñoz-Hernández Fuzzy Prolog: A Simple General Implementation Using CLP(R). Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Fuzzy Prolog, Constraint Programming Application, Implementation of Fuzzy Prolog, Logic Programming, Modeling Uncertainty
70Vítor Santos Costa The Life of a Logic Programming System. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
70R. D. Purdy Knowledge and Tools in Building GRANDJUR 1.1. Search on Bibsonomy ICAIL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
68Gerald M. Karam Computational Improvements in Prolog Applications by Predicate Variable Pointers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
67Ricardo Lopes, Luís Fernando Castro, Vítor Santos Costa From simulation to practice: cache performance study of a Prolog system. Search on Bibsonomy MSP/ISMM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
67Szabolcs Ferenczi Concepts for a Modular and Distributed Prolog Language. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
65Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi Modeling Prolog Control. Search on Bibsonomy POPL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Prolog
65Jacques 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 PARLE (2) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF OPERA, OR-parallel Prolog, reconfigurable multiprocessor, distributed-memory, WAM, Supernode, scalable multiprocessor
65David Roach, Hal Berghel, John R. Talburt An interactive source commenter for Prolog programs. Search on Bibsonomy SIGDOC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Prolog
65Thom W. Frühwirth Polymorphic Type Checking with Subtypes in Prolog. Search on Bibsonomy DISCO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Prolog Meta-Interpreter, Type Languages, Polymorphism, Partial Evaluation, Subtypes, Type Checking, Executable Specification
65M. Morioka S. Yamaguchi, T. Bandoh: Evaluation of Memory System for Integrated Prolog Processor IPP. Search on Bibsonomy ISCA The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Prolog
65Giuseppe Cattaneo, Vincenzo Loia A common-LISP implementation of an extended Prolog system. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Prolog, LISP
65Mark E. Stickel A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
63Daniel Cabeza Gras, Manuel V. Hermenegildo A New Module System for Prolog. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF modular program processing, global analysis and transformation, ciao-prolog, prolog, modules, separate compilation
63Yasusi Kanada, Keiji Kojima, Masahiro Sugaya Vectorization techniques for prolog. Search on Bibsonomy ICS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Prolog, Prolog
63G. Scott Owen, Taylor Binkley KC expert - the development of an ICAI system for chemistry. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
61Stefano Ceri, Georg Gottlob, Gio Wiederhold Efficient Database Access from Prolog. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
60Carl Friedrich Bolz, Michael Leuschel, David Schneider 0001 Towards a jitting VM for prolog execution. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF logic programming, interpreters, partial evaluation, jit
60Neng-Fa Zhou A Register-Free Abstract Prolog Machine with Jumbo Instructions. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
60Benjamin Z. Li A pi-Calculus Specification of Prolog. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
60Donna M. Kaminski A Knowledge Base Approach to Learning to Program in Prolog. Search on Bibsonomy ICCAL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
59Yannis E. Ioannidis, Manolis M. Tsangaris The Design, Implementation, and Performance Evaluation of BERMUDA. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 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
59Michael R. Genesereth Prolog as a Knowledge Representation Language the Nature and Importance of Prolog. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
59Rabbe Fogelholm Exeter Prolog - some thoughts on Prolog design by a LISP user. Search on Bibsonomy Implementations of Prolog The full citation details ... 1984 DBLP  BibTeX  RDF
58Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar 0001, Rasool Jalili Vulnerability Analysis in VGBPS Using Prolog. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Protection System, Safety Problem, Prolog, Vulnerability Analysis
58José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo Towards Description and Optimization of Abstract Machines in an Extension of Prolog. Search on Bibsonomy LOPSTR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Optimization, Compilation, Prolog, Program Transformation, Abstract Machines
58Adil Kabbaj, Claude Frasson, Marc Kaltenbach, Jean-Yves Djamen A Conceptual and Contextual Object-Oriented Logic Programming: the PROLOG++ Language. Search on Bibsonomy ICCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Prolog extension, CG theory, conceptual programming, contextual programming, high-order logic programming, object oriented programming
58Jian Wang, Jungsoon P. Yoo, Thomas J. Cheatham Efficient Reordering of C-PROLOG. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Prolog
58Robert McLaughlin A plea for a readable Prolog programming style. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Prolog
58Joanne L. Boyd, Gerald M. Karam Prolog in "C". Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1990 DBLP  DOI  BibTeX  RDF ‘C’, Prolog, translation, declarative programming, procedure programming
58Balkrishna Ramkumar, Laxmikant V. Kalé A Chare Kernel Implementation of a Parallel Prolog Compiler. Search on Bibsonomy PPoPP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Prolog
58Kim Marriott, Harald Søndergaard On prolog and the occur check problem. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Prolog
58Jonas Barklund Efficient interpretation of Prolog programs. Search on Bibsonomy PLDI The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Prolog
56Veroniek Dumortier, Maurice Bruynooghe On the Automatic Generation of Events in Delta Prolog. Search on Bibsonomy PLILP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Delta Prolog, distributed Prolog, abstract interpretation
56Susana Muñoz-Hernández, José Manuél Gómez-Pérez Collaborative Fuzzy Agents Using Constraint Logic Programming over Finite Domains. Search on Bibsonomy OTM Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
56Andrew Cheese Multi-Moded Relations in Parlog. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1987 DBLP  DOI  BibTeX  RDF PARLOG, PARLOG
56Youji Kohda, Jiro Tanaka Deriving a Compilation Method for Parallel Logic Languages. Search on Bibsonomy LP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
54Timo Niemi, Kalervo Järvelin Prolog-Based Meta-Rules For Relational Database Representation and Manipulation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
53Jesús Manuel Almendros-Jiménez An Encoding of XQuery in Prolog. Search on Bibsonomy XSym The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
53Antonis Bikakis, Constantinos Papatheodorou, Grigoris Antoniou The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web. Search on Bibsonomy SETN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
53Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes Demand-Driven Indexing of Prolog Clauses. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
53Masanobu Umeda, Keiichi Katamine, Isao Nagasawa, Masaaki Hashimoto, Osamu Takata Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications. Search on Bibsonomy INAP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
53Yoon-chan Jhi, Ki-Chang Kim, Kemal Ebcioglu, Yong Surk Lee A Prolog Tailoring Technique on an Epilog Tailored Procedure. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
53Luís Fernando Castro, Vítor Santos Costa Understanding Memory Management in Prolog Systems. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
53Erwan Jahier, Mireille Ducassé, Olivier Ridoux Specifying Prolog Trace Models with a Continuation Semantics. Search on Bibsonomy LOPSTR (LNCS 2042: Selected Papers) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
53Xining Li Program Sharing: A New Implementation Approach for Prolog. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
53Micha Meier, Joachim Schimpf An Architecture for Prolog Extensions. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
53Toshio Kawamura, Hayato Ohwada, Fumio Mizoguchi CS-Prolog: A Generalized Unification Based Constraint Solver. Search on Bibsonomy LP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
51Atef Suleiman, John Miller Implementing Thread Cancellation in Multithreaded Prolog Systems. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurrency, Prolog, threads
51Maurizio Cimadamore, Mirko Viroli Integrating Java and Prolog through generic methods and type inference. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF java, prolog, generics, wildcards, multiparadigm
51Michael R. Wick, Daniel E. Stevenson On using scheme to introduce prolog. Search on Bibsonomy SIGCSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF prolog, programming languages, computer science education, scheme, teaching strategy
51Hai Wan, Yunxiang Zheng, Yin Chen 0005, Lei Li 0022 Building Business Process Description and Reasoning Meta-model Mbp in A-Prolog. Search on Bibsonomy SPW/ProSim The full citation details ... 2006 DBLP  DOI  BibTeX  RDF A-Prolog, Business process, Requirements analysis, Meta-model
51José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo Improved Compilation of Prolog to C Using Moded Types and Determinism Information. Search on Bibsonomy PADL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Prolog, C, optimizing compilation, global analysis
51Juan José Moreno-Navarro, Susana Muñoz-Hernández Soundness and Completeness of an "Efficient" Negation for Prolog. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Negation in Prolog, LP and nonmonotonic reasoning, Constructive Negation
51Qinan Zhou, Paul Tarau Garbage Collection Algorithms for Java-Based Prolog Engines. Search on Bibsonomy PADL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Implementation of Prolog, Garbage collection algorithms in the context of multiple memory managers
51Fevzi Belli, Oliver Jack Implementation-Based Analysis and Testing of Prolog Programs. Search on Bibsonomy ISSTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Prolog
51David Roach, Hal Berghel The Physiology of PROLOG Expert System Inference Engine. Search on Bibsonomy SIGSMALL/PC Symposium The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Prolog
51Moon-Chuen Lee An Augmented Prolog Programming Environment for Tutoring Applications. Search on Bibsonomy IEA/AIE (Vol. 2) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Prolog
51Hal Berghel, Richard Rankin, Sanjiv K. Bhatia MS-DOS Prolog implementations revisited. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Prolog, MS-DOS
51Jukka Paakki A note on the speed of Prolog. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Prolog
51Carolyn R. Watters, Michael A. Shepherd, W. Robertson, K. H. Lee An expert system for bibliographic retrieval using Prolog. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Prolog
51Gaetano Borriello, Andrew R. Cherenson, Peter B. Danzig, Michael N. Nelson RISCs versus CISCs for Prolog: A Case Study. Search on Bibsonomy ASPLOS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Prolog, RISC, CISC
51Daniel Diaz 0001, Philippe Codognet GNU Prolog: Beyond Compiling Prolog to C. Search on Bibsonomy PADL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
51Pascale Louvet, Olivier Ridoux Parametric Polymorphism for Typed Prolog and lambda-Prolog. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF second-order -Calculus, Logic programming, polymorphism, typing
51Alberto Martelli, Gianfranco Rossi Enhancing Prolog to Support Prolog Programming Environments. Search on Bibsonomy ESOP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
51Hideo Matsuda, M. Kohata, T. Masuo, Yukio Kaneda, Sadao Maekawa Parallel Prolog Machine PARK: Its Hardware Structure and Prolog System. Search on Bibsonomy LP The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
49Krzysztof R. Apt, Alessandro Pellegrini 0002 On the Occur-Check-Free Prolog Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF PROLOG programs, moded programs, occur-check problem, Prolog, unification algorithm
49Baudouin Le Charlier, Pascal Van Hentenryck Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF fixpoint algorithm, PROLOG, Prolog, abstract interpretation
49Hong Xia, Wolfgang K. Giloi A hybrid scheme for detecting AND-parallelism in prolog programs. Search on Bibsonomy ICS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Prolog, Prolog
49Marcello Balduccini, Michael Gelfond, Monica L. Nogueira Answer set based design of knowledge systems. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF PACS 68T30, 68T35, 68T20
49Michael Beeson Some Applications of Gentzen's Proof Theory in Automated Deduction. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
49Rand Methfessel Implementing an Access and Object Oriented Paradigm in a Language That Supports Neither. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1987 DBLP  DOI  BibTeX  RDF C
47Verónica Dahl, Laura Andrea Cecchi Introducing Prolog in Language-Informed Ways. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
47Nick Bassiliades, Ilias Sakellariou, Petros Kefalas Demonstrating Multiple Prolog Programming Techniques Through a Single Operation. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
47Jean-Christophe Rohner, Håkan Kjellerstrand Prolog for Scientific Explanation. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
47Manuel 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 Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
47David Scott Warren Introduction to Prolog. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
47Gopal 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 Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
47Michael Leuschel ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to Life. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
47Manuel V. Hermenegildo, José F. Morales 0001, Pedro López-García 0001 Some Thoughts on How to Teach Prolog. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
47Vesna Marinkovic Prolog in Automated Reasoning in Geometry. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
47Laurent Cervoni, Julien Brasseur, Jean Rohmer Simultaneously Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
47Veneta Tabakova-Komsalova, Stanimir Stoyanov, Asya Stoyanova-Doycheva, Lyubka Doukovska Prolog Education in Selected Secondary Schools in Bulgaria. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
47José F. Morales 0001, Salvador Abreu, Daniela Ferreiro, Manuel V. Hermenegildo Teaching Prolog with Active Logic Documents. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
47David Scott Warren, Marc Denecker A Better Logical Semantics for Prolog. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license