Back to Results
First PageMeta Content
Logic programming / Function / Uniqueness quantification / Prolog / Mathematics / Mathematical logic / Software engineering


Partial Deduction for Structured Logic Programming Michele Bugliesi D.S. Logics s.r.l. Viale Silvani, Bologna, Italy
Add to Reading List

Document Date: 2005-06-07 07:38:43

Open Document

File Size: 233,60 KB

Share Result on Facebook

City

Bologna / perm / /

Company

Evolving Systems / /

IndustryTerm

conservative systems / block-based systems / preliminary search / Inheritance-based systems / configured systems / partial search tree / /

Person

Michele Bugliesi / Evelina Lamma Paola Mello / /

Position

switch operator / /

ProgrammingLanguage

Prolog / /

Technology

artificial intelligence / /

SocialTag