- The Janus System: Multi-paradigm Programming in Prolog and Python
2023/08/28 by Theresa Swift, Carl Andersen · 2 voices
Computer Science · #Artificial intelligence #Computer science #Constraint programming #Janus #Logic programming #Natural Language Processing Techniques #Programming language #Prolog #Python (programming language) #Software Engineering Research #Theoretical computer science #Topic Modeling
- Fifty Years of Prolog and Beyond
2022/01/26 by Philipp Körner, Michael Leuschel, Körner, Philipp +23 · 3 voices · 7 citations
Computer Science · #Computer science #Datalog #Formal Methods in Verification #Implementation #Logic programming #Logic, programming, and type systems #Programming language #Prolog #Software Engineering Research #Software engineering #Software portability #cs.PL
- Coding Guidelines for Prolog
2009/11/15 by Michael A. Covington, Roberto Bagnara, Covington, Michael A. +8 · 3 voices · 2 citations
Computer Science · #Coding (social sciences) #Computer science #Debugging #Documentation #Logic, programming, and type systems #Normative #Political science #Programming language #Prolog #Software Engineering Research #Software Testing and Debugging Techniques #Software engineering #cs.PL
- Patterns for Prolog Programming
2002/01/01 by Leon Sterling · 1 citation
Computer Science · Mathematics · #Abstraction #Computer science #Constraint programming #Control flow #Declarative programming #Inductive programming #Logic programming #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Multi-Agent Systems and Negotiation #Programming language #Programming paradigm #Prolog #Range (aeronautics) #Theoretical computer science
- Acquiring Textual Relations Automatically on the Web Using Genetic Programming
2000/01/01 by Agneta Bergström, Patricija Jaksetic, Peter Nordin · 1 citation
Computer Science · #Artificial intelligence #Computer science #Data mining #Evolutionary Algorithms and Applications #Fitness function #Genetic algorithm #Genetic programming #Information extraction #Information retrieval #Machine learning #Natural Language Processing Techniques #Natural language processing #Parsing #Programming language #Prolog #Relation (database) #Topic Modeling #World Wide Web
- Solving large combinatorial problems in logic programming
1990/01/01 by Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck · 1 citation
Computer Science · Mathematics · #Artificial intelligence #Computer science #Concurrent constraint logic programming #Constraint (computer-aided design) #Constraint Satisfaction and Optimization #Constraint logic programming #Constraint programming #Constraint satisfaction #Declarative programming #Fifth-generation programming language #Firmware #Functional logic programming #Inductive programming #Logic programming #Logic, programming, and type systems #Mathematical optimization #Mathematics #Model-Driven Software Engineering Techniques #Programming language #Programming paradigm #Prolog #Theoretical computer science
- The “Hamming problem” in Prolog
1988/04/01 by David Hemmendinger · 1 citation
Computer Science · #Advanced Algebra and Logic #Computer science #Prolog #Programming language #Hamming code #Theoretical computer science #Parallel computing #Algorithm
- Efficient loop detection in prolog using the tortoise-and-hare technique
1987/03/01 by Allen Van Gelder · 1 citation
Computer Science · Mathematics · #Algorithm #Combinatorics #Computer science #Debugging #Extension (predicate logic) #For loop #Formal Methods in Verification #Interpreter #Logic, programming, and type systems #Loop (graph theory) #Mathematics #Natural Language Processing Techniques #Overhead (engineering) #Programming language #Prolog #Recursion (computer science) #Reduction (mathematics) #Theoretical computer science #Tortoise
- The concept of a supercompiler
1986/06/01 by Valentin F. Turchin · 1 voice · 11 citations
Computer Science · Mathematics · #Computation #Computer science #Discrete mathematics #Embedded Systems Design Techniques #Equivalence (formal languages) #Functional programming #IBM #Lazy evaluation #Logic, programming, and type systems #Mathematics #Operating system #Parallel Computing and Optimization Techniques #Partial evaluation #Program transformation #Programming language #Prolog #Redundancy (engineering) #Theoretical computer science #Theory of computation
- A Prolog processor based on a pattern matching memory device
1986/01/01 by Ian Robinson · 1 citation
Computer Science · #Component (thermodynamics) #Computer science #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Matching (statistics) #Parallel computing #Pattern matching #Programming language #Prolog #Software Testing and Debugging Techniques #Unification
- A polymorphic type system for prolog
1984/08/01 by Alan Mycroft, Richard A. O'Keefe, Richard O’Keefe · 11 citations
Computer Science · Mathematics · #Artificial intelligence #Computer science #Formal Methods in Verification #Inference #Interpreter #Logic programming #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Programming language #Prolog #Resolution (logic) #Scheme (mathematics) #Theoretical computer science #Type (biology) #Type inference
- Nikolaj Leskov's Moral Vision in the Prolog Tales
1974/01/01 by Stephen S. Lottridge · 1 citation
Social Sciences · #Art #Computer science #Discourse Analysis and Cultural Communication #Philosophy #Programming language #Prolog