Tek-Tips is the largest IT community on the Internet today!

Members share and learn making Tek-Tips Forums the best source of peer-reviewed technical information on the Internet!

Register Log in
  • Congratulations derfloh on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!

Search results for query: *

  1. synhedionn

    instantiated error

    ok, thanks a lot!
  2. synhedionn

    matching variables multiple solutions

    ok, thanks a lot!
  3. synhedionn

    instantiated error

    thanks. In fact it was already loaded, but still same error: ?- use_module(library(clpfd)). X < 10 , X > 0 , integer(X), X = 3,Y < 10 , Y > 0 , X mod Y = 0 , X / Y = 2 . ERROR: </2: Arguments are not sufficiently instantiated
  4. synhedionn

    matching variables multiple solutions

    thanks, almost! ... but it gives X = 2, Y = 1 but why doesn't it give the other solutions too (ie X = 4, Y = 2 ; X = 6, Y = 3 ; 8,4 ; 10,5)?
  5. synhedionn

    instantiated error

    OK, but 1) if I want it to solve X as an integer unknown to solve, how can I give value to X ?! 2) imagine I want to initiate X with 3, so : X < 10 , X > 0 , integer(X), X = 3,Y < 10 , Y > 0 , X mod Y = 0 , X / Y = 2 . but : ERROR: </2: Arguments are not sufficiently instantiated ? So where...
  6. synhedionn

    instantiated error

    Hi, Why X < 10 , X > 0 , integer(X), integer(Y),Y < 10 , Y > 0 , X mod Y = 0 , X / Y = 2 . does give ERROR: </2: Arguments are not sufficiently instantiated ?
  7. synhedionn

    matching variables multiple solutions

    Hi, In swiprolog, when [library(clpfd)]. X in 0..10 , Y in 0..10 , X mod Y #= 0 , X / Y #=2 . It gives X in 2..10, X/Y#=2, X mod Y#=0, Y in 1..10. But it's not very useful if I don't have couples of solutions, i.e. for X=2 -> Y=1 etc... So how can I have the different couples?
  8. synhedionn

    tempory matrix parameter saving

    ok! Thanks!
  9. synhedionn

    tempory matrix parameter saving

    hi, I wondered how to declare a tempory matrix saving variable: must it have same intent() parameters than the parent one it's related to? For instance: "program paramMat ! gfortran paraMatrix.f90 -o paraMatrix implicit none integer, parameter :: dim = 4 real, dimension(dim,dim) ::a call...

Part and Inventory Search

Back
Top