SWI-prolog to C# assert not working -


i'm working on solution using sbssw.swiplcs dll integration between c# application , prolog .pl source file, i'm facing problem assert(atom) command.

my prolog file set of airports , flights between airports, during running time assert new airports , flights this:

        internal void alta(flight new)     {         try         {             plengine.initialize(new string[] { "" });             //plengine.initialize(param);              plquery.plcall("consult(vuelos)");              //comando             //flight(v01,bra,ams,1000)             plquery q = new plquery("assert(fligth(" + new.id + "," + new.airportfrom.id + "," + new.airportto.id + "," + new.price + "))");         }         catch (plexception e)         {             console.writeline(e.messagepl);             console.writeline(e.message);         }                 {             plengine.plcleanup();         }     }

this runs fine, , don't error message nor exceptions (i used one, because flight/4 , airport/2 statements static, changed both dynamic @ beggining of file , no errors thrown).

my problem when try consult involving new asserts got @ runtime.

internal list<string> directflight(airport from, airport to)     {         list<string> list = new list<string>();          try         {             plengine.initialize(new string[] { "" });             //plengine.initialize(param);              plquery.plcall("consult(vuelos)");              //comando             //una_escala(w,from,to)             using (plquery q = new plquery("directf(w," + from.id + "," + to.id + ")"))             {                 foreach (plqueryvariables v in q.solutionvariables)                 {                     list.add(v["w"].tostring());                 }             }         }         catch (plexception e)         {             console.writeline(e.messagepl);             console.writeline(e.message);         }                 {             plengine.plcleanup();         }          return list;     }

my list<string> list variable should return list of flight id's go from to, , works pre-loaded flights (the ones on vuelos.pl call on plquery.plcall("consult(vuelos)");), doesn't take account of new flights created @ runtime , can't figure out why.

my error consisted on 2 malpractices. first, cleaned plengine everytime executed query

            {         plengine.plcleanup();     }

what did in order fix this, initialize plengine 1 time @ class constructor class prolog, way can use same plengine methods. i've looked around , seemingly solution use ? tell('file.pl'), append(listing(atom)), told. save file @ runtime, i'm not aware if can corrupt previous data, chose plengine workaround. doesn't save volatile data, works fine 1 prolog session. still created method clean engine, call when terminate program.

the other issue found, tried execute assert parameters this:

plquery q = new plquery("assert(fligth(" + new.id + "," + new.airportfrom.id + "," + new.airportto.id + "," + new.price + "))");

when should have done:

plquery.plcall("assert(fligth(" + new.id + "," + new.airportfrom.id + "," + new.airportto.id + "," + new.price + "))");

plquery exclusive requests return variables grasp, while plcall used simple consults or instructions return true/false.

hope helps anyone.


-

Popular posts from this blog

c# - ODP.NET Oracle.ManagedDataAccess causes ORA-12537 network session end of file -

overview i want replace oracle.dataaccess orcale. managed dataaccess, opening connection latter throws ora-12537 network session end of file exception. exception message / stack trace {oracleinternal.network.networkexception (0x000030f9): ora-12537 : netzwerksession: dateiende @ oracleinternal.network.readerstream.read(orabuf ob) @ oracleinternal.ttc.orabufreader.getdatafromnetwork() @ oracleinternal.ttc.orabufreader.read(boolean bignoredata) @ oracleinternal.ttc.marshallingengine.unmarshalub1(boolean bignoredata) @ oracleinternal.ttc.ttcprotocolnegotiation.readresponse()} i trying connect oracle 11g database , not have client installed on local machine. working test application (unmanaged) using oracle.dataaccess works fine . using system; using oracle.dataaccess.client; namespace app.odp.unmanaged { internal class program { private static void main(string[] args) { //dummy connection string...
Read more

matlab - Compression and Decompression of ECG Signal using HUFFMAN ALGORITHM -

i want compress , decompress ecg signal stored text message text file , find out file size, cr,prd ratio,and qs. here code compression , decompression of ecg signal using huffman algorithm. i'm trying find out file size, compression ratio,prd ratio,qs. but error i'm getting the ecg file in text format. %clearing variables , screen enter code here clear all; close all; clc; [file1]=uigetfile('*.txt'); %fprintf('enter ecg file name :%s',file1); p=file1; t=sprintf('%s',p); b1=dlmread([file1]); len=length(b1); lead=input('enter lead number :'); %lead=str2double(lead); col2=b1(1:end,lead); e=fix(sqrt(len)); m=1; i=1:e j=1:e g2(i,j)=fix(col2(m)*1000); %amplifying 1000 m=m+1; end end g3=g2; i=1:e j=1:e ...
Read more

utf 8 - split utf-8 string into bytes in python -

i trying split utf-8 string bytes in python 3. problem is, when use bytearray, byte, encode etc functions array size of element 14 bytes, not 1 byte expected. need split text file sequence of bytes , send them byte after byte using sockets. tried this: infile = open (file, "r") str = infile.read() byte_str = bytes(str, 'utf-8') print("size of byte_str",sys.getsizeof(byte_str[0])) print gives me 14, need 1... suggestion? quoting official documentation : sys.getsizeof(object[, default]) return size of object in bytes. object can type of object. built-in objects return correct results, not have hold true third-party extensions implementation specific. only memory consumption directly attributed object accounted for, not memory consumption of objects refers to. if given, default returned if object not provide means retrieve size. otherwise typeerror raised. getsizeof() calls object’s __sizeof__ method , adds ...
Read more