scientific article; zbMATH DE number 1497840

zbMath0958.68035MaRDI QIDQ4499267

Naoyuki Tamura, Mutsunori Banbara

Publication date: 6 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

JavaProlog Café

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Related Items

Design for AJACS, yet another Java constraint programming framework1 1The authors would like to thank the anonymous referees for their constructive review of an earlier version of this article. Universidade de Évora, CENTRIA and FundaçLãTo da CiêCncia e Tecnologia (under contract PRAXIS P/EEI/10191/98 “OAR”) are acknowledged for their support of the work described herein.

Uses Software

• Lolli

Cites Work

• Linear logic
• Forum: A multiple-conclusion specification logic
• Logic programming in a fragment of intuitionistic linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• Unnamed Item