Prolog: a compiled or interpreted language or both? -


there compilers prolog other websites language interpreted language. i'm confused if prolog interpreted language. can please clarify if language is? compiled language or interpreted language?

to answer lets nail down definitions.

a compiled language 1 converts source code files form (binary, byte code, etc.) standalone execution or library linking other programs. constructs fixed , cannot amended.

an interpreted language 1 converts construct form can executed after conversion. each converted construct typically put store can referenced later constructs.

now many programming languages can both compiled , interpreted, there no rule says programming language can 1 or other.

in days programming languages 1 or other, e.g. c++ - compiled, basic - interpreted.

now answer question:

prolog: compiled or interpreted language or both?

the prolog language can compiled , can interpreted answer both.

the reason seeing different answers different sites asking language, think of prolog language abstract concept, looking @ specific implementations, think of sites referring concrete implementation. entities 1 or other , both.

in last several years, in opinion, consensus becoming if have main stay programming language has have compiler generate efficient code , repl uses interpreter quick development of constructs.

typically trend develop , test basic programming constructs using repl , move them source code files compiled build libraries. libraries referenced repl; rinse , repeat.

interestingly prolog first language used had both, , in 1980's.

if read iso/iec 13211 information technology -- programming languages -- prolog -- part 1: general core states:

the language originates work in 1970s robert a. kowalski while @ edinburgh university (and ever since @ imperial college, london) , alain colmerauer @ university of aix-marseilles in france. efforts led in 1972 use of formal logic basis programming language. kowalski’s research provided theoretical framework, while colmerauer’s gave rise programming language prolog. colmerauer , team built first interpreter, , david warren @ ai department, university of edinburgh, produced first compiler.


-

Comments

Post a Comment

Popular posts from this blog

PySide and Qt Properties: Connecting signals from Python to QML -

i trying run simple pyside appliccation design made in qml. call function in qml python in separated thread. i have following qml view: import qt 4.7 rectangle { visible: true width: 100; height: 100 color: "lightgrey" text { id: datestr objectname: "datestr" x: 10 y: 10 text: "init text" font.pixelsize: 12 function updatedata(text) { datestr.text = qstr(text) console.log("you said: " + text) } } } here application: some imports.... #!/usr/bin/python import sys import time pyside import qtdeclarative, qtcore pyside.qtgui import qapplication pyside.qtdeclarative import qdeclarativeview the qthread worker.... #worker thread class worker(qtcore.qthread): updateprogress = qtcore.signal(int) def __init__(self, child): qtcore.qthread.__init__(self) self.child = child def run(self):
Read more

c# - DevExpress.Wpf.Grid.InfiniteGridSizeException was unhandled -

Image
when using devexpress, see error: devexpress.wpf.grid.infinitegridsizeexception unhandled message="by default, infinite grid height not allowed since grid rows rendered , hence grid work slowly. fix issue, should place grid container give finite height grid, or should manually specify grid's height or maxheight. note can avoid exception setting gridcontrol.allowinfinitegridsize static property true, in case grid run slowly." the problem dxgrid has infinite height. to fix, set height non-infinite. snoop absolutely invaluable this: if "height" xaml element infinite (i.e. 0 or nan ), can set using one of following: option 1: height="{binding path=actualheight, relativesource={relativesource mode=findancestor, ancestortype=uielement}}" option 2: verticalalignment="stretch" option 3: height="auto" hint: use verticalalignment="stretch" if child of grid <rowdefinition height=
Read more

scala - 'wrong top statement declaration' when using slick in IntelliJ -

Image
i'm porting project scala 2.9 2.10, therefore have use slick instead of scalaquery. i'm using slick 2.1.0 since supports ms access. according this tutorial , upgrade guide changed robs object class , added val robs : why error message wrong top statement declaration , how rid of it? edit: i'm new scala... according this question seems can't put val outside of methods or classes, right? code above directly in packge. right approach slick then? should move code in class or trait? according this changed val robs = tablequery[robs] to object robs extends tablequery(new robs(_)) {} . no warnings or errors anymore. :)
Read more