Year of publication
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
1–50 of 3,740 hits
Sort by:
Sort by:
-
Some Thoughts on How to Teach Prolog
Springer Verlag | 2023|Keywords: Teaching Prolog, Prolog, Prolog Myths, Prolog Beauty, Prolog Playgrounds -
Teaching Prolog with Active Logic Documents
Springer Verlag | 2023|Keywords: Prolog Playgrounds, Teaching Prolog, Prolog, Ciao-Prolog -
Defining and Implementing Domain-Specific Languages with Prolog
Free accessTIBKAT | 2023|Keywords: PROLOG -
Demonstrating Multiple Prolog Programming Techniques Through a Single Operation
Springer Verlag | 2023|Keywords: Prolog Flexibility, Prolog Efficiency, Prolog Education -
Logic programming with Prolog
TIBKAT | 2013|Keywords: PROLOG (Programmiersprache), Prolog (Computer program language) -
Practical aspects of declarative languages : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018 : proceedings
TIBKAT | 2018|Keywords: PROLOG (Programmiersprache) -
Tableau reasoning for description logics and its extension to probabilities
Online Contents | 2016|Keywords: Prolog -
Prolog programming for artificial intelligence
TIBKAT | 2012|Keywords: PROLOG (Programmiersprache), Prolog (Computer program language) -
Programming in Prolog
TIBKAT | 2003|Keywords: PROLOG (Programmiersprache), Prolog (Programming language), Prolog (Computer program language) -
On scaling dynamic programming problems with a multithreaded tabling Prolog system
Elsevier | 2016|Keywords: Prolog -
Querying XML documents using Prolog engines: When is this a good idea?
Elsevier | 2019|Keywords: Prolog -
Il Prologo dell'Ifigenia in Aulide di Euripide : Problemi di attribuzione e tradizione testuale euripidea
TIBKAT | 2013|Keywords: Prolog -
BousiProlog: Design and implementation of a proximity-based fuzzy logic programming language
Elsevier | 2022|Keywords: Fuzzy prolog, Bousi∼Prolog -
Prolog : eine methodische Einführung
TIBKAT | 1992|Keywords: PROLOG (Programmiersprache), Prolog (Programming language), PROLOG -
Prolog : eine methodische Einführung
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 1992|Keywords: PROLOG (Programmiersprache), Prolog (Programming language), PROLOG -
Die plautinischen Prologe und ihre Funktion : Zur Konstruktion von Spannung und Komik in den Komödien des Plautus
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2016|Keywords: Prolog -
P-rho-Log: Combining Logic Programming with Conditional Transformation Systems
Free accessDataCite | 2016|Keywords: Prolog -
Logik und Logikprogrammierung / Steffen Hölldobler ... ; Bd. 2: Aufgaben und Lösungen
TIBKAT | 2011|Keywords: P-PROLOG -
Einführung in die logische Programmierung mit PROLOG
TIBKAT | 1988|Keywords: PROLOG (Programmiersprache), Prolog (Programming language), PROLOG, Prolog -
Advanced Prolog : techniques and examples
TIBKAT | 1989|Keywords: PROLOG (Programmiersprache), Prolog (Programming language), Computer systems. Programming languages: Prolog, Prolog, Prolog (Computer program language) -
Spatial reasoning about multimedia document for a profile based adaptation
Online Contents | 2018|Keywords: PROLOG -
Programming in Prolog
TIBKAT | 1984|Keywords: PROLOG (Programmiersprache), Prolog, Prolog (Computer program language) -
Programmieren in PROLOG : eine umfassende und praxisgerechte Einführung
TIBKAT | 1991|Keywords: PROLOG (Programmiersprache), Prolog (Programming language) -
Programmieren in PROLOG : eine umfassende und praxisgerechte Einführung
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 1991|Keywords: PROLOG (Programmiersprache), Prolog (Programming language) -
Autotest: An educational software application to support teachers in creating tests
Wiley | 2013|Keywords: Prolog -
Multi‐dimensional lock‐free arrays for multithreaded mode‐directed tabling in Prolog
Wiley | 2019|Keywords: prolog -
Prolog : eine Einführung mit Übungen in Turbo und PDC-Prolog
TIBKAT | 1994|Keywords: PDC-PROLOG, TURBO-PROLOG -
TURBO-PROLOG : Abbild menschlicherstrategien
TIBKAT | 1987|Keywords: PROLOG (Programmiersprache), TURBO-PROLOG -
Prolog-Werkzeugkasten : für Turbo-Prolog und PDC-Prolog
TIBKAT | 1991|Keywords: PDC-PROLOG, Prolog (Programming language), TURBO-PROLOG -
Declarative Rules for Annotated Expert Knowledge in Change Management
Free accessDataCite | 2016|Keywords: prolog -
Logic programming with Prolog
TIBKAT | 2005|Keywords: PROLOG (Programmiersprache), Prolog (Computer program language) -
Towards an Automated Test Bench Environment for Prolog Systems
Free accessDataCite | 2017|Keywords: Prolog -
Automated complexity analysis for prolog by term term rewriting
Free accessTIBKAT | 2012|Keywords: PROLOG (Programmiersprache) -
Spatial reasoning about multimedia document for a profile based adaptation
Online Contents | 2018|Keywords: PROLOG -
The Research and Analysis of Lexical Analyzer in Prolog Compiler
National licenceTrans Tech Publications | 2012|Keywords: Prolog -
TECHNOLOGIES OF MULTILEVEL STRUCTURES MODELLING ON THE EXAMPLE OF THE PROBLEM OF COMPLETING PRODUCTS
Free accessBASE | 2021|Keywords: мова програмування Visual Prolog, Visual Prolog language -
Using Turbo Prolog
TIBKAT | 1987|Keywords: TURBO-PROLOG, Prolog (Computer program language), Turbo prolog -
Prolog : eine methodische Einführung
TIBKAT | 1988|Keywords: PROLOG (Programmiersprache), Prolog (Programming language) -
Turbo Prolog user's handbook : Version 2.0
TIBKAT | 1989|Keywords: Turbo Prolog (Computer program), Microcomputer systems. Programming languages: Turbo Prolog, TURBO-PROLOG, Prolog (Computer program language), Turbo prolog -
Grundkurs künstliche Intelligenz : eine praxisorientierte Einführung
TIBKAT | 2008|Keywords: PROLOG (Programmiersprache) -
Fuzzy Prolog: a new approach using soft constraints propagation
Elsevier | 2003|Keywords: Fuzzy Prolog, Implementation of fuzzy prolog -
Programming in Prolog : [the classic Prolog book which sets the language standard for almost all Prolog implementations]
TIBKAT | 1994|Keywords: PROLOG (Programmiersprache), Prolog (Programming language), Prolog (Computer program language) -
Prolog : eine methodische Einführung
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 1990|Keywords: PROLOG (Programmiersprache), Prolog (Programming language)
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.