Amanote Research

Amanote Research

    RegisterSign In

Efficient Groundness Analysis in Prolog

Theory and Practice of Logic Programming - United Kingdom
doi 10.1017/s1471068402001485
Full Text
Open PDF
Abstract

Available in full text

Categories
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
Date

December 18, 2002

Authors
JACOB M. HOWEANDY KING
Publisher

Cambridge University Press (CUP)


Related search

Prolog

Reihe Rechtswissenschaft
2001English

Prolog

2019English

A Practical Type Analysis for Verification of Modular Prolog Programs

2008English

Prolog WebSite

2007English

LFG System in Prolog

1984English

The YAP Prolog System

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

Lazy Stream Programming in Prolog

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2019English

PrologCheck – Property-Based Testing in Prolog

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

An Advanced Silicon Compiler in Prolog

1987English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy