Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Antonio Natali

Programs as Collections of Communicating Prolog Units

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1986English

Related publications

Communicating Museum Collections Information Online

Journal on Computing and Cultural Heritage
Computer Science ApplicationsComputer GraphicsConservationComputer-Aided DesignInformation Systems
2019English

A Practical Type Analysis for Verification of Modular Prolog Programs

2008English

A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs

1992English

Automatic Compile-Time Parallelization of Prolog Programs for Dependent And-Parallelism

1997English

Prolog

Reihe Rechtswissenschaft
2001English

Query Proof Structure Caching for Incremental Evaluation of Tabled Prolog Programs

2014English

Put It Simply: Tools and Tips for Communicating Library Collections Data

2012English

Prolog

2019English

Prolog WebSite

2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy