Modularization and Abstraction in Logic Programming

New Generation Computing - Germany
doi 10.1007/bf03037423
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Logic Programming

1995English

Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming

Machine Learning
Artificial IntelligenceSoftware
2010English

Integrating Answer Set Programming and Constraint Logic Programming

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

Network Automation and Abstraction Using Python Programming Methods

MACRo 2015
2017English

Global Variables in Logic Programming

1997English

Abduction and Abductive Logic Programming

1994English

Minimum and Maximum Predicates in Logic Programming

1991English

Logic Programming in a Fragment of Intuitionistic Linear Logic

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1994English

Service-Oriented Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy