Ciao-users

ciao-users@cliplab.org

948 discussions

Emacs for v. 1.15
by mcculloch 30 Mar '13

30 Mar '13

I've installed v. 1.15 from source on Ubuntu 12.04. The install did not add any env vars and did not include anything in the .emacs file. I edited .bashrc and used absolute file paths and got some env vars but not CIAOLIBDIR. Also, ciao-mode-init.el does not exist (nor any other file with ciao-mode-init). Should I be using 1.14? I've done ciaoconfig build, install and user install and most stuff works, but emacs won't recognize Ciao. John -- View this message in context: http://old.nabble.com/Emacs-for-v.-1.15-tp35182162p35182162.html Sent from the Ciao Prolog - Users mailing list archive at Nabble.com.

1 1

Fwd: Platform-dependent library generation with ciaoc
by Jarkko Kniivilä 29 Mar '13

29 Mar '13

Sorry, Gmail unfortunately didn't remind me to reply to all, so here is a separate forward to the list of the reply I sent to Javier. // Jarkko ---------- Forwarded message ---------- From: Jarkko Kniivilä <jkniiv(a)gmail.com> Date: Fri, Mar 29, 2013 at 12:42 PM Subject: Re: [Ciao-users] Platform-dependent library generation with ciaoc To: javier.g.rueda(a)gmail.com Hi, I haven't had the chance to test ciaoc out yet but if you are at least able to build .a libraries with it, you can use the newer cffi<https://pypi.python.org/pypi/cffi> instead of ctypes in Python to access them. Here's how. Let's say you have defined your own quicksort routine in C called string_vector_quicksort() with the following prototype: void string_vector_quicksort(int c, char *v[]); i.e. a routine you could call with main()'s argc and argv for instance to sort the command line arguments or similar string "vectors". Now you do the following in Python to access the routine: ''' #!/usr/bin/env python proj_dir="/path/to/where/you/keep/the/c/library/project" from cffi import FFI ffi = FFI() ffi.cdef(""" void string_vector_quicksort(int c, char *v[]); """) C = ffi.verify(""" #include "myquicksort.h" """, library_dirs=[proj_dir], libraries=["myquicksort"], include_dirs=[proj_dir]) # Let's construct the vector to sort. # Equivalent to the following C initializer: { "foo", "baar", "bazz", "quux" } vector_dont_garbage_collect = [ffi.new("char[]", "foo"), ffi.new("char[]", "baar"), ffi.new("char[]", "bazz"), ffi.new("char[]", "quux")] vector = ffi.new("char *[]", vector_dont_garbage_collect) # Let's finally call our routine C.string_vector_quicksort(len(vector), vector) # ... and print out the sorted results. for x in vector: print ffi.string(x) ''' The above actually calls your C compiler to make a temporary extension for Python to load. It assumes you have the files "myquicksort.h" and "libmyquicksort.a" in the project directory (proj_dir above). I hope that gave you some pointers. Please read the cffi docs and especially the part about how C code "verification" aka just-in-time compilation works: http://cffi.readthedocs.org/en/release-0.5/#the-verification-step. // Jarkko On Thu, Mar 28, 2013 at 9:01 PM, Javier G. Rueda <javier.g.rueda(a)gmail.com>wrote: > Hi, > > ¿Is it possible to generate a library (i.e .so in linux) with ciaoc? > > I would like to call ciao predicates from python using ctypes, and a .so > library is needed. > > Thank you, > > Regards > Javier > > > _______________________________________________ > Ciao-users mailing list > Ciao-users(a)clip.dia.fi.upm.es > http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-users > -- Jarkko Kniivilä < jibun | jkniiv > FIN-33710 TAMPERE "Panta rhei kai oumen menei" -- Herakleitos -- Jarkko Kniivilä < jibun | jkniiv > FIN-33710 TAMPERE "Panta rhei kai oumen menei" -- Herakleitos

1 0

Platform-dependent library generation with ciaoc
by Javier G. Rueda 28 Mar '13

28 Mar '13

Hi, ¿Is it possible to generate a library (i.e .so in linux) with ciaoc? I would like to call ciao predicates from python using ctypes, and a .so library is needed. Thank you, Regards Javier

1 0

foreign interface examples
by Javier G. Rueda 27 Mar '13

27 Mar '13

Hello all, I'm getting started with ciao and tried the following: ciaoc -c test_all.pl in lib/foreign_interface/examples. Then I got the message: ERROR: (lns 1-1) Declaration package/1 not starting file, probably a package is being included as a raw file ¿ Which may be the cause ? I've been looking inside the manual (ciaoc and foreign interface sections) but surely I'm missing something. S.O is Ubuntu 11.10, and I built ciao current stable version from source. (Succesfully, I think. Just missing ciaopp although I configured it to compile). Cheers Javier

2 2

Windows Yapp DLLs
by DC 26 Mar '13

26 Mar '13

Hi, I know there were posts about this years ago. Can Windows applications call functions in the Yap.dll, dynamically? If so, which of the docs discusses this. There's the C Language Interface to Yap, in the main doc. Is there anything else, perhaps examples of languages other than C?

2 3

op/3 Question
by mcculloch 26 Mar '13

26 Mar '13

I am defining a operator => in a package. My package uses a module that indirectly uses another package that defines the same operator, i.e. "foreign_interface" uses package "assertions". I need a different priority, but I am worried about conflicts or interference between the two? What is the scope of a call to op/3? Does it affect only the package it is in or does the last op/3 called for an operator supersede any previous call regardless of package? If it is the latter, I need to use a different operator. I would rather use : but I was worried about conflicts there too. John -- View this message in context: http://old.nabble.com/op-3-Question-tp35211865p35211865.html Sent from the Ciao Prolog - Users mailing list archive at Nabble.com.

2 1

Re: [Ciao-users] Permissions problem
by ciao＠clip.dia.fi.upm.es 19 Mar '13

19 Mar '13

> > john(a)laptop01:~/ciao_mongo$ ciaoc test.pl > > {ERROR: streams_basic:$open/3, arg 1 - system error: Permission denied} > > {Executable generation aborted} > > john(a)laptop01:~/ciao_mongo$ > > Yes, this message from the standalone compiler could certainly be more > informative (we will look into that, it looks like an undetected side > effect of the move to ISO errors). Forgot to respond to this: messages fixed (development version). Please let us know if you have any other problems with this! Cheers, --Manuel H -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | IMDEA Software Institute ciao(a)clip.dia.fi.upm.es | and Technical University of Madrid http://www.ciao-lang.org / http://www.cliplab.org -----------------------------------------------------------------------------

3 2

Re: [Ciao-users] build failed CiaoDE 1.15 g2d800d8
by ciao＠clip.dia.fi.upm.es 19 Mar '13

19 Mar '13

> I'm building CiaoDE for Ubuntu 12.04 amd64. But it fails on > building the emacs plugin and the chr library. It seems that the > emacs plugin is too old. ... Thanks for the report. There compilation warnings are due to elisp changes which we have not had time to clean up but we use the emacs mode regularly with emacs 24.3, so this is probably not the problem. But it does seem to fail to generate word-help.elcs, CHR, and lpdoc, so something is wrong (it did work in our nightly builds for Ubuntu, though...). Can you check if Ciao compiles in your system all the way through using all default options, i.e., with: ./ciaosetup user-install (since you are doing a user install)? If it does we can then try to see what non-default option may be causing the problem. Thanks! --Manuel H -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | IMDEA Software Institute ciao(a)clip.dia.fi.upm.es | and Technical University of Madrid http://www.ciao-lang.org / http://www.cliplab.org -----------------------------------------------------------------------------

2 1

Segmentation Error
by Michael Wernicki 18 Mar '13

18 Mar '13

Hello, The following is from one of the examples supplied with the ciao documentation. The computer setup is a 64 bit Debian based Mint 14 system. There are no compilation errors; however, executing results in a segmentation error. michael(a)14Mint64VM ~/CiaoDE-1.15-1685-g2d800d8/ciao/library/class/examples/geometry $ ciaoc geometry1 michael(a)14Mint64VM ~/CiaoDE-1.15-1685-g2d800d8/ciao/library/class/examples/geometry $ ./geometry1 Segmentation fault Execution in a shell results in most of the predicates being undefined. michael(a)14Mint64VM ~/CiaoDE-1.15-1685-g2d800d8/ciao/library/class/examples/geometry $ ciaosh -f Ciao 0: Sat Mar 16 13:03:15 EDT 2013 ?- [geometry1]. {Compiling /home/michael/CiaoDE-1.15-1685-g2d800d8/ciao/library/class/examples/geometry/poly_class.pl {In *class_expansion* ERROR: (lns 0-0) Predicate fact$exp/3 undefined in source ERROR: (lns 0-0) Predicate $goalpoly_class2/1 undefined in source ERROR: (lns 0-0) Predicate $goalpoly_class1/1 undefined in source ERROR: (lns 0-0) Predicate $goalpoly_class0/1 undefined in source ERROR: (lns 0-0) Predicate $goaltcl_name1/1 undefined in source ERROR: (lns 0-0) Predicate $goalcreation_options1/1 undefined in source The segmentation error looks more like something caused by a 32 versus 64 bit system incompatibility. Any suggestions as to what to check to determine the source of the error? Mike

1 0

No handle for thrown error in simple class example
by Michael Wernicki 18 Mar '13

18 Mar '13

Hello, A simple example of a class stack using the examples supplied from the documentation showed ERROR: No handle.... For more complex examples, I've seen a segmentation error. Are some environmental variables incorrectly set causing these errors? The system is a 64 bit Debian based Mint 14. Case 1 There are no compilation error; however, the program cannot be executed without the ERROR: No handle.... michael(a)14Mint64VM ~/Program Development/Prolog/stack $ ciaoc teststack michael(a)14Mint64VM ~/Program Development/Prolog/stack $ ./teststack {ERROR: No handle found for thrown error error(existence_error(procedure,class_rt:asserta_attr/2),class_rt:asserta_attr/2)} Case 2 Can the error seen when trying to load the package objects in the shell be causing the thrown error? From inside a shell the following is seen: michael(a)14Mint64VM ~/CiaoDE-1.15-1685-g2d800d8/ciao/library/class/examples/geometry $ ciaosh -f Ciao 0: Sat Mar 16 13:03:15 EDT 2013 ?- use_package(objects). {Using package /home/michael/CiaoDE-1.15-1685-g2d800d8/ciao/library/objects/objects.pl ERROR: (lns 36-36) add_clause_trans/2 directive not allowed in shell } yes ?- The program does run in a shell correctly. In addition, it will run correctly in emacs. michael(a)14Mint64VM ~/Program Development/Prolog/stack $ ciaosh -f Ciao 0: Sat Mar 16 13:03:15 EDT 2013 ?- [teststack]. yes ?- main. 89 yes ?- For reference program teststack :- module(teststack,[main/0],[objects]). :- use_class('/home/michael/Program Development/Prolog/stack/stack'). main :- St1 new stack, St2 new stack, St1:push(8), St2:push(9), St1:top(I), St2:top(K), display(I), display(K). program stack %%----------------------------------------------%% %% A class for stacks. %% %%----------------------------------------------%% %% Class declaration: the current source defines a class. :- class(stack,[],[]). % State declaration: storage/1 is an attribute. :- dynamic storage/1. % Interface declaration: the following predicates will % be available at run-time. :- export(push/1). :- export(pop/1). :- export(top/1). :- export(is_empty/0). % Methods push(Item) :- nonvar(Item), asserta_fact(storage(Item)). pop(Item) :- var(Item), retract_fact(storage(Item)). top(Top) :- storage(Top), !. is_empty :- storage(_), !, fail. is_empty.

1 0

← Newer
1
...
15
16
17
18
19
20
21
...
95
Older →

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users