KRL (programming language): Difference between revisions

Revision as of 07:09, 27 December 2003

Latest revision as of 04:37, 21 March 2024

(39 intermediate revisions by 27 users not shown)

Line 1:

{{distinguish|Kinetic Rule Language|KUKA Robot Language}}

[[Knowledge Representation]] Language. A [[semantic frames|frame]]-based language.

{{Infobox programming language

| name = KRL

| paradigm = [[knowledge representation]]

| generation =

| year = 1976

| designer =

| developer = Daniel G. Bobrow and Terry Winograd

| latest release version =

| latest release date =

| turing-complete =

| typing =

| implementations =

| dialects =

| influenced by =

| influenced = KM, FRL (MIT)

}}

'''KRL''' is a [[knowledge representation]] [[programming language|language]], developed by [[Daniel G. Bobrow]] and [[Terry Winograd]] while at [[Xerox PARC]] and [[Stanford University]], respectively. It is a [[semantic frames|frame]]-based language.

"An Overview of KRL, a Knowledge Representation Language", D.G. Bobrow and T. Winograd, Cognitive Sci 1:1 (1977).

<blockquote>

----

KRL was an attempt to produce a language which was nice to read and write for the engineers who had to write programs in it, processed like human memory, so you could have realistic AI programs, had an underlying semantics which was firmly grounded like logic languages, all in one, all in one language. And I think it - again, in hindsight - it just bogged down under the weight of trying to satisfy all those things at once.

''This article (or an earlier version of it) contains material from [[FOLDOC]], used with [[Public Domain Resources/Foldoc license|permission]].''

<ref>[http://purl.umn.edu/107717 Oral history interview with Terry Winograd] at [[Charles Babbage Institute]], University of Minnesota, Minneapolis.</ref>

{{msg:stub}}

</blockquote>

==References==

{{Reflist}}

==Further reading==

* "An Overview of KRL, a Knowledge Representation Language", [[Daniel G. Bobrow|D.G. Bobrow]] and [[Terry Winograd|T. Winograd]], Cognitive Sci 1:1 (1977).

* Daniel G. Bobrow, Terry Winograd, [http://i.stanford.edu/pub/cstr/reports/cs/tr/76/581/CS-TR-76-581.pdf An Overview of KRL, A Knowledge Representation Language], Stanford Artificial Intelligence Laboratory Memo AIM 293, 1976.

[[Category:Knowledge representation languages]]

[[Category:Programming languages created in 1976]]

{{msg:compu-lang-stub}}