Пролог логик програмчлалын хэл мөн үү?
Пролог логик програмчлалын хэл мөн үү?

Видео: Пролог логик програмчлалын хэл мөн үү?

Видео: Пролог логик програмчлалын хэл мөн үү?
Видео: Пролог - Пролог гэж юу вэ? 2024, Арванхоёрдугаар сар
Anonim

Хэлний парадигмууд: Тунхаглалын програмчлал

Мөн Prolog ямар төрлийн програмчлалын хэл вэ?

Пролог заримдаа тунхаглал гэж нэрлэдэг хэл эсвэл дүрэмд суурилсан хэл Учир нь түүний хөтөлбөрүүд нь баримт, дүрмийн жагсаалтаас бүрддэг. Пролог хиймэл оюун ухааны хэрэглээ, ялангуяа эксперт системд өргөн хэрэглэгддэг.

Дараа нь асуулт бол Прологоос өөр логик програмчлалын хэл байдаг уу? Тэнд нэлээд ирээдүйтэй функц юм логик програмчлалын хэл Карри гэж нэрлэдэг. Ялангуяа хязгаарлалт хэлүүд CLP(R), CLP(Q), CLP(FD) гэх мэт. CHR гэх мэт илүү ерөнхий өргөтгөлүүд, гэхдээ бас олон бичсэн аргууд. Эдгээр хэлүүд ихэвчлэн номын сан болгон илгээдэг а байгаа Пролог систем.

Үүний нэгэн адил логик програмчлалын хэл гэж юу вэ?

Логик програмчлал нь програмчлал үндсэндээ албан ёсны суурьтай парадигм логик . a-д бичигдсэн аливаа програм логик програмчлалын хэл дахь өгүүлбэрийн багц юм логик хэлбэр, зарим асуудлын талбарын талаархи баримт, дүрмийг илэрхийлэх. Энэ бүхэнд хэлүүд , дүрмийг өгүүлбэрийн хэлбэрээр бичнэ: H:- B1, …, Б.

Предикат логик нь програмчлалын хэл мөн үү?

Нэг адил програмчлалын хэл , предикат логик цорын ганц юм хэл Энэ нь бүхэлдээ хэрэглэгчдэд чиглэсэн.

Зөвлөмж болгож буй: