Amanote Research

Amanote Research

    RegisterSign In

Modules for Prolog Revisited

Lecture Notes in Computer Science - Germany
doi 10.1007/11799573_6
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2006

Authors
Rémy HaemmerléFrançois Fages
Publisher

Springer Berlin Heidelberg


Related search

Prolog

Reihe Rechtswissenschaft
2001English

Prolog

2019English

Prolog WebSite

2007English

A Partial Breadth-First Execution Model for Prolog

English

Listlog — A PROLOG Extension for List Processing

English

The YAP Prolog System

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2011English

A Tabled Prolog Program for Solving Sokoban

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

A Tabled Prolog Program for Solving Sokoban

2011English

A Practical Type Analysis for Verification of Modular Prolog Programs

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy