This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
vsc e5f4633c39 This commit was generated by cvs2svn to compensate for changes in r4,
which included commits to RCS files with non-trunk default branches.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@5 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-04-09 19:54:03 +00:00

65 lines
2.8 KiB
Plaintext

/tmp/clpq
yes
| ?- use_module(library('clpqr/monash')).
{compiling /freyung/christian/sicstus2.1.9.clp/library/clpqr/monash.pl...}
{loading /freyung/christian/sicstus2.1.9.clp/library/clpqr/printf.ql...}
{loaded /freyung/christian/sicstus2.1.9.clp/library/clpqr/printf.ql in module printf, 30 msec 27216 bytes}
{loading /freyung/christian/sicstus2.1.9.clp/library/clpqr/expand.ql...}
{loaded /freyung/christian/sicstus2.1.9.clp/library/clpqr/expand.ql in module expand, 50 msec 26832 bytes}
{/freyung/christian/sicstus2.1.9.clp/library/clpqr/monash.pl compiled, 120 msec 54848 bytes}
yes
| ?- expand, [library('clpqr/examples/monash/amplif')], noexpand.
{consulting /freyung/christian/sicstus2.1.9.clp/library/clpqr/examples/monash/amplif...}
{Warning: [Collector_Currents] - singleton variables in dc_analysis/3 in lines 1-31}
{Warning: [Type,Vc] - singleton variables in component_ss/6 in lines 70-75}
{Warning: [V1,V2] - singleton variables in component_dc/7 in lines 89-90}
{Warning: [Vbreak,Vreak] - singleton variables in component_dc/7 in lines 93-96}
{Warning: [Vbreak] - singleton variables in diode_state/5 in lines 96-104}
{Warning: [Beta] - singleton variables in transistor_state/7 in lines 122-127}
{Warning: [Beta] - singleton variables in transistor_state/7 in lines 127-133}
{Warning: [Beta,Vc,Vcesat] - singleton variables in transistor_state/7 in lines 133-139}
{Warning: [Beta,Vc,Vcesat] - singleton variables in transistor_state/7 in lines 139-144}
{Warning: [Points] - singleton variables in print_circuit/1 in lines 202-205}
{Warning: [R1,R2,Rc,Re] - singleton variables in circuit/6 in lines 233-244}
{Warning: [C1,C2,C3,R1,R2,Rc,Re] - singleton variables in circuit/6 in lines 244-255}
{Warning: [C1,C3,R1,R2,Re] - singleton variables in circuit/6 in lines 255-264}
{Warning: [St1,St2,St3,St4,State] - singleton variables in go1/0 in lines 264-274}
>>> Sample goals: go1/0, go2/0
{/freyung/christian/sicstus2.1.9.clp/library/clpqr/examples/monash/amplif consulted, 410 msec 22640 bytes}
yes
| ?- go1.
cc1 at 15 [0,18/125,0,-18/125]
cc2 at -12 [-57/500,57/500]
gnd at 0 [0,-3/100,3/100]
a at 3/5 [57/500,-18/125,0,3/100]
p1 at 0 [57/500,-57/500]
b at -3/5 [0,57/500,-57/500]
c at 15 [0,0]
diode at d1 [di1,forward]
diode at d2 [di1,reverse]
resistor at r1 100
diode at d3 [di1,forward]
diode at d4 [di1,forward]
resistor at r2 100
transistor at tr [npn,tr0,cutoff]
resistor at rc 100
yes
| ?- go2.
Stab 407/209090
Outresist 47500/55419
capacitor at c1 _1412
resistor at r1 100
resistor at r2 100
transistor at tr [npn,tr0,active]
resistor at re 100
capacitor at c3 _1334
[[capacitor,c1,_1412,[in,b]],[resistor,r1,rat(100,1),[b,cc1]],[resistor,r2,rat(100,1),[b,gnd]],[transistor,tr,[npn,tr0,active],[b,cc1,e]],[resistor,re,rat(100,1),[e,gnd]],[capacitor,c3,_1334,[e,out]]]
yes
| ?-