Back to Results
First PageMeta Content
Logic programming / Automated theorem proving / Programming paradigms / Prolog / Computer program / Unification / Occurs check / First-order logic / Logic / Software engineering / Computing / Computer programming


Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics Alexei A. Morozov Institute of Radio Engineering and Electronics of RAS
Add to Reading List

Document Date: 2007-09-24 06:53:33


Open Document

File Size: 190,56 KB

Share Result on Facebook

/

Facility

Classical Declarative Semantics Alexei A. Morozov Institute of Radio Engineering / /

IndustryTerm

appropriate search space / software engineering / reactive computer systems / associative search / search order / program systems / search space / complicated artificial systems / object-oriented search space consisting / /

Organization

Classical Declarative Semantics Alexei A. Morozov Institute of Radio Engineering and Electronics of RAS Moscow / /

Person

Prolog / /

/

Position

author / cases Actor / Introduction Actor / Actor / logical actor / Any Actor / /

ProgrammingLanguage

C++ / Smalltalk / /

RadioStation

Radio Engineering / /

Technology

ALPHA / object-oriented programming / dom / /

SocialTag