SquareBrackets:boolean=True):string;
function EqualOperator (Dst:TPrologVariable;
Src:TPrologVariable):Boolean;
function OperatorEQ (
Oper1:TPrologVariable; Oper2:TPrologVariable;
Variables:TPrologVariables):TPrologVariable;
function OperatorPlus (
Oper1:TPrologVariable; Oper2:TPrologVariable):TPrologVariable;
function OperatorMinus (
function OperatorMultiply (
function OperatorDivide (
function OperatorGT (
function OperatorLT (
function OperatorGE (
function OperatorLE (
function OperatorNotEQ (
function OperatorAND (
function OperatorOR (
function StdFunctionNot(Args:TPrologVariables):TPrologVariable;
function StdFunctionSin(Args:TPrologVariables):TPrologVariable;
function StdFunctionCos(Args:TPrologVariables):TPrologVariable;
function StdFunctionTan(Args:TPrologVariables):TPrologVariable;
function StdFunctionInt(Args:TPrologVariables):TPrologVariable;
function StdFunctionFrac(Args:TPrologVariables):TPrologVariable;
function StdFunctionSubStr(Args:TPrologVariables):TPrologVariable;
function StdFunctionFindStr(Args:TPrologVariables):TPrologVariable;
function StdFunctionChr(Args:TPrologVariables):TPrologVariable;
function StdFunctionAsc(Args:TPrologVariables):TPrologVariable;
function StdFunctionExp(Args:TPrologVariables):TPrologVariable;
function StdFunctionLn(Args:TPrologVariables):TPrologVariable;
function StdFunctionNumbToStr(Args:TPrologVariables):TPrologVariable;
function StdFunctionStrToNumb(Args:TPrologVariables):TPrologVariable;
function StdFunctionAbs(Args:TPrologVariables):TPrologVariable;
function StdPWrite(VarPacket:TPrologVariables;
BackTracking:Boolean):Boolean;
function StdPWriteLn(VarPacket:TPrologVariables;
function StdPnl(VarPacket:TPrologVariables;
function StdPIsInteger(VarPacket:TPrologVariables;
function StdPIsReal(VarPacket:TPrologVariables;
function StdPIsNumeric(VarPacket:TPrologVariables;
function StdPIsString(VarPacket:TPrologVariables;
function StdPIsBoolean(VarPacket:TPrologVariables;
function StdPIsList(VarPacket:TPrologVariables;
function StdPIsStruct(VarPacket:TPrologVariables;
function StdPIsFree(VarPacket:TPrologVariables;
function StdPReadInt(VarPacket:TPrologVariables;
function StdPReadString(VarPacket:TPrologVariables;
function StdPReadReal(VarPacket:TPrologVariables;
function StdPDBAppendZ(VarPacket:TPrologVariables;
function StdPDBAppendA(VarPacket:TPrologVariables;
function StdPDBDelete(VarPacket:TPrologVariables;
function StdPDBClear(VarPacket:TPrologVariables;
function StdPFileOpenRead(VarPacket:TPrologVariables;
function StdPFileOpenWrite(VarPacket:TPrologVariables;
function StdPFileClose(VarPacket:TPrologVariables;
function StdPFileRead(VarPacket:TPrologVariables;
function StdPFileWrite(VarPacket:TPrologVariables;
function StdPEOF(VarPacket:TPrologVariables;
function StdPStringToList(VarPacket:TPrologVariables;
function StdPFail(VarPacket:TPrologVariables;
var
RunTimeError :TRuntimeError;
Текст демонтрационной программы.
DOMAINS
ListElement:Complex {}
Integer {}
Real {}
String {}
StringList {}
ParamsList:List of ListElement {Список параметров конфигурации}
StringList:List of String {Список с запросами}
ALIAS
DBDEMOS
DATABASES
Configs:'Configs.DB' {}
Task:String[33] {}
Frequency:Integer[4] {}
Processor:String[17] {}
Memory:Integer[4] {}
VideoMemory:Integer[4] {}
HDD:Integer[4] {}
MonitorSize:Integer[4] {}
Addition1Name:String[17] {}
Addition1Value:String[9] {}
Addition2Name:String[17] {}
Addition2Value:String[9] {}
Addition3Name:String[17] {}
Addition3Value:String[9] {}
Addition4Name:String[17] {}
Addition4Value:String[9] {}
DeviceClass:'DeviceClass.db' {}
TypeName:String[17] {}
SubType:String[33] {}
SubTypeIndex:Real{}
PREDICATES
_ReadParameters {Вспомогательный к ReadParameters}
String {Элемент списка}
StringList {Входной список}
StringList {Выходной список}
AddElementToStringList {Добавляет элемент к списку}
String {Элемент}
AddNewAddition {Добавить в список дополнительных устройств}
StringList {список имен доп. уст-в}
StringList {список типов доп. уст-в}
String {новое имя доп. уст-ва}
String {новый тип доп. уст-ва}
StringList {вых. список имен доп. уст-в}
StringList {вых. список типов доп. уст-в}
ChooseConfig {выбор конфигурации}
StringList {список с запросами}
ParamsList {Входной список с параметрами}
ParamsList {Выходной список с параметрами}
GetListElement {Выдает по номеру элемент списка}
ParamsList {Список, в котором ищется элемент}
Integer {Номер искомого элемента}
Integer {Текущий счетчик}
ListElement {Возвращаемое значение}
Max {Выбирает максимальное значение}
ListElement {Значение 1}
ListElement {Значение 2}
ListElement {возвращаемое значение }
PrintAdditions {Печать дополнительных устройств}
StringList {Имена устройств}
StringList {Типы устройств}
ReadParameters {Читает параметры в список}
StringList {входной список}
StringList {выходной список}
run {Запускаемый предикат}
SelectProcessor {выбор процессора}
String {Процессор 1}
Integer {Частота 1}
String {Процессор 2}
Integer {Частота 2}
String {Выбранный процессор}
Integer {Выбранная частота}
GOAL
run
CLAUSES
ReadParameters(InList, OutList) if
ReadString(St),nl,
_ReadParameters(St, InList, OutList).
_ReadParameters("", InList, InList).
_ReadParameters(St, InList, OutList) if
AddElementToStringList(St, InList, InList2),
ReadParameters(InList2, OutList).
AddElementToStringList(A,T,[A|T]).
GetListElement([H|_],N,N,H).
GetListElement([_|T],N,N1,K) if
N2=N1+1,
GetListElement(T,N,N2,K).
Max (Value1, Value2, Value1) if Value1>=Value2.
Max (Value1, Value2, Value2) if Value1<Value2.
SelectProcessor(OldProc,OldFreq,Proc1,Freq1,Proc1,OldFreq) if
DeviceClass("Processor",OldProc,OldProcNumb),
DeviceClass("Processor",Proc1,Proc1Numb),
OldProcNumb=Proc1Numb,
OldFreq>=Freq1.
SelectProcessor(OldProc,OldFreq1,Proc1,Freq1,Proc1,Freq1) if
OldFreq<Freq1.
SelectProcessor(OldProc,OldFreq,Proc1,Freq1,OldProc,OldFreq) if
OldProcNumb>Proc1Numb.
SelectProcessor(OldProc,OldFreq,Proc1,Freq1,Proc1,Freq1) if
OldProcNumb<Proc1Numb.
{CreateParamsList(Freq,Proc,Mem,VMem,HDD,Monitor,Names,Vals,
[Freq,Proc,Mem,VMem,HDD,Monitor,Names,Vals]).}
AddNewAddition(N,V,"","",N,V).
AddNewAddition([],[],An,Av,[An],[Av]).
AddNewAddition([Hn|Tn],[Hv|Tv],Hn,Av,[Hn|Tn],[Hv|Tv]) if
DeviceClass(Hn,Hv,OldNumb),
DeviceClass(Hn,Av,NewNumb),
OldNumb>=NewNumb.
AddNewAddition([Hn|Tn],[Hv|Tv],Hn,Av,[Hn|Tn],[Av|Tv]) if
OldNumb<NewNumb.
AddNewAddition([Hn|Tn],[Hv|Tv],An,Av,[Hn|NewN],[Hv|NewV]) if
AddNewAddition(Tn,Tv,An,Av,NewN,NewV).
ChooseConfig([],InParams,InParams).
ChooseConfig([H|T], InParams, OutParams) if
Configs(H,Freq1,Proc1,Mem1,VMem1,HDD1,Monitor1,an1,av1,an2,av2,an3,av3,an4,av4),
GetListElement(InParams,6,0,OldAddsNames),
GetListElement(InParams,7,0,OldAddsVals),
AddNewAddition(OldAddsNames,OldAddsVals,an1,av1,AddsNames1,AddsVals1),
AddNewAddition(AddsNames1,AddsVals1,an2,av2,AddsNames2,AddsVals2),
AddNewAddition(AddsNames2,AddsVals2,an3,av3,AddsNames3,AddsVals3),
AddNewAddition(AddsNames3,AddsVals3,an4,av4,AddsNames4,AddsVals4),
GetListElement(InParams,5,0,OldMonitor),
Max(Monitor1,OldMonitor,NewMonitor),
GetListElement(InParams,4,0,OldHDD),
{Max(HDD1,OldHDD,NewHDD),}
NewHDD=OldHDD+HDD1,
GetListElement(InParams,3,0,OldVMem),
Max(VMem1,OldVMem,NewVMem),
GetListElement(InParams,2,0,OldMem),
Max(Mem1,OldMem,NewMem),
GetListElement(InParams,1,0,OldProc),
GetListElement(InParams,0,0,OldFreq),
SelectProcessor(OldProc,OldFreq,Proc1,Freq1,NewProc,NewFreq),
{CreateParamsList(NewFreq,NewProc,NewMem,NewVMem,NewHDD,NewMonitor,AddsNames4,AddsVals4,InParams1),
ChooseConfig(T,InParams1,OutParams)}
ChooseConfig(T,[NewFreq,NewProc,NewMem,NewVMem,NewHDD,NewMonitor,AddsNames4,AddsVals4],OutParams).
PrintAdditions([],[]).
PrintAdditions([Hn|Tn],[Hv|Tv]) if
Write(Hn), Write(" "), WriteLn(Hv),
PrintAdditions(Tn,Tv).
run if
{ReadParameters([],A),
WriteLn(A),}
ChooseConfig(["Internet","сочинение музыки","Delphi 3"],[0,"86",0,0,0,0,[],[]],B),
{WriteLn(B),}
GetListElement(B,0,0,Freq),
GetListElement(B,1,0,Proc),
WriteLn("Процессор: ",Proc," ",Freq," MHz"),
GetListElement(B,2,0,Mem),
WriteLn("Память: ",Mem," МБайт"),
GetListElement(B,3,0,VMem),
WriteLn("Видео память: ",VMem," МБайт"),
GetListElement(B,4,0,HDD),
WriteLn("Винчестер: ",HDD," МБайт"),
GetListElement(B,5,0,Monitor),
WriteLn("Монитор: ",Monitor,""""),
GetListElement(B,6,0,Names),
GetListElement(B,7,0,Vals),
PrintAdditions(Names,Vals).
Страницы: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15